Concurrency permutation testing tool for Rust.

Unix-like OS in Rust inspired by xv6-riscv

Creusot helps you prove your code is correct in an automated fashion.

A minimal Linux kernel module written in rust.

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

Verifying the Rust standard library

Toy web browser + OS in Rust = wasabi

Awkernel: realtime operating system written in Rust

Template to implement Linux kernel schedulers in Rust running in user-space

LLTZ: Compiler from MLIR to Michelson

Dyro: Dynamic Rust Ownership Verification