RFCs for changes to Rust

Lean 4 programming language and theorem prover

Rust const and no_std reflection — the last derive you'll ever need

The math library of Lean 4

Empowering everyone to build reliable and efficient software.

A collection of small utilities for working with pointer types in Rust.

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

Create ridiculously fast Lexers

A Gura parser for Rust

Strongly typed Gura library for Rust