verus-lang/verus

Verified Rust for low-level systems code

284 best points · 103 comments · 1 Hacker News post · 3,586 GitHub stars · View on GitHub

Hacker News discussions

• Verified Rust for low-level systems code (284 points, 103 comments, by gz09, 2024-05-04)