The libc crate has been a core part of Rust since its early days, making breaking changes increasingly difficult over time. Redundant and legacy code...

There is ongoing work to instrument the Rust standard library with safety contracts. Based on a discussion by the Formal Verification Working Group...

Currently, the new, experimental GCC based compiler backend for Rust(`rustc_codegeng_gcc`) is not able to build the Rust compiler. The goal of this...

Rustup is the official toolchain installer and version manager for the Rust programming language. The current implementation of Rustup processes...

The current implementation of cargo fix is quite slow and makes extra calls to rustc slowing down the process. A simplified architecture would also...

Reduce CI time in verify-rust-std repo by offloading proof verification to multiple Github Runner machines to run verification in parallel, and more...

cargo-semver-checks is a development tool that allows rust libraries to check whether a release breaks semver by running lints on the API. For...

Despite `tests/ui`'s usefulness to maintainers, it acts as a barrier to new contributors - with how expansive it is, major pull requests can break...

This project aims to enhance the testing of the Wild linker by leveraging existing linker test suites, providing strong support for its development....

A lot of work has been done to parallelize the Rust compiler frontend, with notable success in code generation and some post-HIR lowering stages....

Rust's std::arch module houses vendor-specific intrinsics (low-level functions that typically correspond to single machine instructions) which are...

StableMIR aims to provide a stable Rust compiler interface via a stable_mir crate on crates.io, shielding external tools from internal changes....

This project aims to overcome the limitations of the current Build Script system by allowing multiple, well-organised build scripts, that are...

Currently, Rust-analyzer expands procedural macros using a client/server architecture, where a separate proc-macro server process loads and executes...

The integration of automatic differentiation (autodiff) into the Rust compiler via Enzyme faces challenges due to ABI adjustments that alter function...

Various Rust repositories under the rust-lang organization use a merge queue bot, bors, for testing and merging pull requests. This project aims to...

This project aims to enhance the testability of Bootstrap and make it faster, the Rust build system, by improving its architecture, refining its...

The crate cargo-semver-checks provides feedback to user based on what possible breaking changes they may have made, which as per semantic versioning...

This project prototypes a new set of Cargo plumbing commands, aligned with Rust’s 2025H1 project goals. Plumbing commands are lower-level, less...