Starred repositories
Empowering everyone to build reliable and efficient software.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Linux virtual machines, with a focus on running containers
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
An interpreter for Rust's mid-level intermediate representation
Agda is a dependently typed programming language / interactive theorem prover.
A memory allocator that automatically reduces the memory footprint of C/C++ applications.
A guide to how rustc works and how to contribute to it.
Rust tool to collect and aggregate code coverage data for multiple source files
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
Bisects rustc, either nightlies or CI artifacts
Scrape open-access articles, filter to a particular topic, and import to your library's catalog.
camelid / rust
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
A programming language for people who can't (yet) program.