We have Crater At Home

OBS Studio - Free and open source software for live streaming and screen recording

Chess implemented entirely in the Rust and TS type systems.

Append-only collections for Rust where borrows to entries can outlive insertions

Counterexamples in Type Systems

Lean 4 programming language and theorem prover

Subcommand to show result of macro expansion

exhaustive testing library

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

A minimal `syn` syntax tree pretty-printer

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

🏳️‍🌈 LGBT pride in here 🏳️‍🌈

Dynamic, growable, resizable, mutable and generic vector implementation

My configuration files, utility scripts, private ssh keys,…

Learn Rust by writing Entirely Too Many linked lists

Collection of library stubs for Python, with static types

Install a rustc master toolchain usable from rustup

A tool for ad hoc profiling

Website for graphing performance of rustc

Compile time numbers in Rust.

An interpreter for Rust's mid-level intermediate representation

Just, really the littlest Vec you could need. So smol.

A Rust compiler front-end for IDEs

A list of rust lang mentors tagged by topics of interest

A Rust library for random number generation.

Animation engine for explanatory math videos

An interactive Rust syntax playground

Celebrate Rust contributors.

The IntercalScript programming language

home for proposals in and around compile-time function evaluation