☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

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

🤖 Just a command runner

A command-line benchmarking tool

a structural diff that understands syntax 🟥🟩

Command-line Git information tool

(Rust) Coloring terminal so simple you already know how to do it !

Creusot helps you prove your Rust code is correct.

egg is a flexible, high-performance e-graph library

egraphs + datalog!

A menagerie of cute implementations of modern typechecking algorithms