top
new
show
ask
jobs
about

Verus: Verified Rust for low-level systems code

github.com

3 points by mmcloughlin 16 hours ago