A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Cross-platform Rust rewrite of the GNU coreutils

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

Kani Rust Verifier

Concurrency permutation testing tool for Rust.

A safe, easy systems language

🐇 Fuzzing Rust code with American Fuzzy Lop

A model checker for implementing distributed systems.

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

Shuttle is a library for testing concurrent Rust code

Compiler for the B Programming Language implemented in Crust

Research prototype tool for modular formal verification of C, Rust and Java programs

A framework for writing FPGA firmware using the Rust Programming Language

An asynchronous distributed actor framework in Rust with robust observability

A menagerie of cute implementations of modern typechecking algorithms

Rust Poseidon implementation (contact: @porcuquine)

Verifying the Rust standard library

The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report using Rust across different cloud service providers, and ge…

Refinement type checking and inference tool for Rust

A hacky interactive theorem prover

A memory allocator verified with Verus

Storage systems with verified correctness properties

Object Pool LockFree in Rust