Hysen Labsverus-lang
verus
Verified Rust for low-level systems code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct.
2,765 stars193 forksRustMIT
01
EDITORIAL BRIEF
What it solves
Verified Rust for low-level systems code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct.
The project context on this page is free to read. The original GitHub repository remains the source of truth; sign in only when you want to save or join the discussion.
02
Best fit
Best fit
Teams evaluating Developer Tools
Community notes