Back to Programs

Programming languages

The Rust Foundation

A language empowering everyone

pythonrust
Organization website

Participation history

3 GSoC years

202620252024

2026

13 projects

Official year page

libc: transition differing bit-width time and offset variants and deprecate bug-prone constants

This proposal focuses mainly on two points of the `libc` issue tracking the `1.0` release. The first of these addresses the presence of 64-bit and...

Project page

XDG path support for rustup

Historically, rustup has relied on $RUSTUP_HOME (defaulting to $HOME/.rustup) and $CARGO_HOME (defaulting to $HOME/.cargo) as monolithic directories...

Project page

Adding WebAssembly Linking Support to Wild

This project aims to add WebAssembly support to the Wild linker. Wild linker is a high-performance Linux linker written in Rust, and supporting the...

Project page

A Frontend for Safe GPU Offloading in Rust

The `offload` feature is currently working on the Rust compiler but still there's no safe and user-friendly interface. Right now, the only way to use...

Project page

Debugger for Miri

Miri finds undefined behavior but can't explain why, its only debug aid is thousands of lines of interpreter logs. The original Priroda step debugger...

Project page

Improving Ergonomics and Safety of serialport-rs

The recent release of serialport 4.9.0 has provided an opportunity to thoughtfully plan the next major release, catching up on features that have...

Project page

Implementing impl and mut restrictions

In Rust, trait visibility currently implies implementability. If a trait is visible within a given scope, it can also be implemented in that same...

Project page

Bringing autodiff and offload into Rust CI

This project brings autodiff and offload into Rust CI by making them buildable and verifiable in the CI pipeline. Autodiff is currently only...

Project page

Migrating rust-analyzer assists to SyntaxEditor

This project aims to eliminate all usage of legacy mutable syntax APIs, incrementally update rowan and introduce necessary changes to RA, and then...

Project page

Link Linux kernel and its Modules with Wild

Currently, the wild linker has limited support for linker scripts, which are commonly used in the Linux Kernel and embedded development. This makes...

Project page

Utilize debugger APIs to improve debug­ info test accuracy and error reporting

Currently, the debuginfo test suite has a number of shortcomings: it is sensi­tive to the installed debugger and python version; it does not account...

Project page

Port std::arch test suite to rust-lang/rust

The std::arch in the standard library provides architecture-specific intrinsic functions, which directly map to a single machine instruction. The...

Project page

Reorganizing tests/ui/issues

Currently there is obsolete `tests/ui/issues`directory in `rustc` test suite which was used to store regression tests in it. Now with the growth of...

Project page

2025

18 projects

Official year page

Modernising the libc Crate

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...

CodeProject page

Add safety contracts

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

CodeProject page

Bootstrap of rustc with rustc_codegen_gcc

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...

CodeProject page

Make Rustup Concurrent

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

CodeProject page

Prototype an alternative architecture for cargo fix using cargo check

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

CodeProject page

Distributed and resource-efficient verification

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

CodeProject page

Make cargo-semver-checks faster

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...

CodeProject page

Mapping the Maze of Rust's UI Test Suite with Established Continuous Integration Practices

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...

CodeProject page

Improve Wild linker test suites

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

CodeProject page

Parallel Macro Expansion

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....

CodeProject page

Extend behavioural testing of std::arch intrinsics

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

CodeProject page

Prepare stable_mir crate for publishing

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

CodeProject page

Cargo: Build script delegation

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

CodeProject page

ABI/Layout handling for the automatic differentiation feature

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

CodeProject page

Implement merge functionality in bors

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

CodeProject page

Improve bootstrap

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

CodeProject page

Enable Witness Generation in cargo-semver-checks

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

CodeProject page

Prototype Cargo Plumbing Commands

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

CodeProject page

2024

9 projects

Official year page

Improve Rust benchmark suite

rustc-perf is composed of a data collector that collects rustc’s comiple & runtime benchmarks and web application that visualize the collected data....

CodeProject page

Design and Implementation of a Faster Register Allocator For Cranelift

The Rust compiler is notorious for needing to be faster at its job. Enormous effort has been put into solving this problem, but there is still room...

CodeProject page

Move cargo shell completions to Rust

Project Description: The existing completion functionality for cargo commands is achieved through the maintenance of a completion script. This script...

CodeProject page

Rewriting the Rewrite trait

Rustfmt, the de facto standard tool for formatting Rust code, has been reported that it occasionally fails to format silently. One of the major...

CodeProject page

Tokio async support in Miri

Miri is a testing tool to check undefined behaviour in unsafe Rust. Currently, a significant portion of Tokio async program still cannot be...

CodeProject page

Rewriting Esoteric, Error-Prone Makefile Tests Using Robust Rust Features

tests/run-make contains a heaping collection - 349 to be precise - of Makefiles containing ancient and difficult to understand test scripts. As a...

CodeProject page

Sandboxed and Deterministic Proc Macro using Wasm

Add experimental support to rustc for building and running procedural macros as WebAssembly. Procedural Macro crates can opt in for being compiled to...

CodeProject page

Adding lint-level configuration to cargo-semver-checks

cargo-semver-checks is an amazing tool in the Rust ecosystem that automatically detects violations in Semantic Versioning (semver) using lints....

CodeProject page

Rust to .NET compiler - add support for compiling & running cargo tests

This proposal aims to extend the ability of `rustc_codegen_clr`, the Rust to .NET compiler backend, to run `cargo test`s. While the project is...

CodeProject page