Verus: Verified Rust for low-level systems code

 (github.com)

11 points | by mmcloughlin a day ago ago

1 comments