Hysen Labsverus-lang
★ 2,765verus
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.
HYSEN LABS DIRECTORY
verus-lang
Verified repositories, classifications and analysis from the verus-lang organization.
1 curated open-source project