verus-lang/verus

github.com ↗

Verified Rust for low-level systems code