0CAP

Open source repo

verus

Verified Rust for low level systems code

Rust
2754 GitHub stars

Visit resource

Why it is on 0CAP

Verified Rust for low-level systems code