Empowering everyone to build reliable and efficient software.

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

All Algorithms implemented in Rust

The Rust Programming Language

Renderer for the harmony response format to be used with gpt-oss

background code checker

Cranelift based backend for rustc

Magical Rust patterns laid out and simplified

A static verifier for Rust, based on the Viper verification infrastructure.

A debugger for Linux

A Raft implementation which can bring consensus to every database