secure-foundations/verus

Verified Rust for low-level systems code

158 best points · 48 comments · 2 Hacker News posts · 3,561 GitHub stars · View on GitHub

Hacker News discussions

• Verus: Verified Rust for low-level systems code (158 points, 48 comments, by mmcloughlin, 2025-04-20)
• Verus: Verified Rust for low-level systems code (1 points, 0 comments, by blopeur, 2022-07-15)