Project group working on the "safe transmute" feature

The math library of Lean 4

Lean 4 programming language and theorem prover

A datetime library for Rust that encourages you to jump into the pit of success.

Test and benchmark suite for sort implementations.

Automated integer hash function discovery

Experimental repository for testing the behavior of the new bors implementation.

The home of the library team

A precise specification for "Rust lite / MIR plus"

cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code

Typed distributed plugin registration

Safe cross-platform linker shenanigans

Failsafe is a lightweight rust library for handling failures

A massively parallel, optimal functional runtime in Rust

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

Language Server Protocol implementation written in Rust

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Black list of all crates that promotes unsoundness

Font introspection, complex text shaping and glyph rendering.

A lock-free, eventually consistent, concurrent multi-value map.

Alternative Factorio Friday Fan Facts, also known as Alt-F4

rustc hates him! Sidestep borrow checking with this weird trick.

Turn your favourite regex into FAT32

A Rust compiler front-end for IDEs

Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust

Error::sources on stable Rust

A tool for transforming Rust code using rules

Rust library for single assignment cells and lazy statics without macros

This crate was created to implement the ideas in this RFC #rust-lang/rfcs/2708

A static verifier for Rust, based on the Viper verification infrastructure.