Hacker Neus
Verus: Verified Rust for low-level systems code
(github.com)
158 points
by mmcloughlin
8 days ago |
48 comments
