Cargo subcommand `release`: everything about releasing a rust crate.

Opinionated tool to typeset theorems, lemmas and such

Version of the Logical Foundations and Security Foundations volumes that we use for Proofs are Programs course at Ruhr University Bochum in winter 2024/25.

Book of educational examples for Typst

A Typst package to create Fitch-style natural deductions.

A Typst package for typesetting pseudocode

A typst wasm plugin to use graphviz directly inside documents

Universal Symbolic Virtual Machine

Rusty bibliography management.

Awesome Typst Links

A Typst package for creating colorful and customizable boxes

Generate QR codes in typst

A package for creating slides in Typst

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Touying is a powerful package for creating presentation slides in Typst.

Typst package for drawing diagrams with arrows, built on top of CeTZ.

A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.

A superior pairing function

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

A new markup-based typesetting system that is powerful and easy to learn.

a Hassle-Free Python Experience

Harness the power of Rust. Those fast productivity tools based on Rust.

Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code

Logic and Mechanized Reasoning

patool is a portable command line archive file manager

#1 Locally hosted web application that allows you to perform various operations on PDF files

UPX - the Ultimate Packer for eXecutables

Build, cache, and run CLI tools scoped in Cargo.toml rather than installing globally. Stop the version drifts across your team, keep it all in sync within your project!

Macro to generate bitfields for structs that allow for modular use of enums.