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