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/

The Rust toolchain installer

An interpreter for Rust's mid-level intermediate representation

Coz: Causal Profiling

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

Automation/tooling for Rust spaces

Bisects rustc, either nightlies or CI artifacts

download.servo.org landing page

Scrape open-access articles, filter to a particular topic, and import to your library's catalog.

Empowering everyone to build reliable and efficient software.

A programming language for people who can't (yet) program.