Empowering everyone to build reliable and efficient software.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

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

A post-modern modal text editor.

Safe Rust bridge for creating Erlang NIF functions

Write expressive, high-performance parsers with ease.

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

A fancy diagnostics & error reporting crate

Multi-platform high-performance compute language extension for Rust.

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

[Deprecated] An early language server for Typst, plus a VS Code extension

an educational compiler intermediate representation

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

Compiler front-end foundation technology.

Demo project showing a single Rust codebase running on CPU and directly on GPUs

The rustic MLIR bindings in Rust

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

Rust implementation of µKanren, a featherweight relational programming language.

Dynamically query a type-erased object for any trait implementation

A MinCaml compiler implemented in Rust