Coz: Causal Profiling

"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/

Automation/tooling for Rust spaces

Bisects rustc, either nightlies or CI artifacts

A guide to how rustc works and how to contribute to it.

Empowering everyone to build reliable and efficient software.

The Rust toolchain installer

Empowering everyone to build reliable and efficient software.

download.servo.org landing page

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