Empowering everyone to build reliable and efficient software.

An extremely fast Python package and project manager, written in Rust.

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

A command-line benchmarking tool

An incremental parsing system for programming tools

Cross-platform Rust rewrite of the GNU coreutils

A Python Interpreter written in Rust

Production-grade Rust-native trading engine with deterministic event-driven architecture

Turso is an in-process SQL database, compatible with SQLite.

A Rust compiler front-end for IDEs

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Migrate C code to Rust

Command-line sampling profiler for macOS, Linux, and Windows

Create ridiculously fast Lexers

An implementation of differential dataflow using timely dataflow on Rust.

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

AICI: Prompts as (Wasm) Programs

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

asciinema gif generator

Creusot helps you prove your code is correct in an automated fashion.

Dead simple pool implementation for rust with async-await

Beautiful diagnostic reporting for text-based programming languages.

A Rust framework for correct and performant distributed systems

A lightweight Datalog engine in Rust

egraphs + datalog!

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

The enum Either with variants Left and Right is a general purpose sum type with two cases.

Framework and Language for Neurosymbolic Programming.