Verus: Verified Rust for low-level systems code

 (github.com)

3 points | by mmcloughlin 12 hours ago

0 comments