Hacker News
- Verus: Verified Rust for low-level systems code https://github.com/secure-foundations/verus 44 comments
- Verus: Verified Rust for low-level systems code https://github.com/secure-foundations/verus 4 comments rust
Linking pages
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Linked pages
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - verus-lang/verus: Verified Rust for low-level systems code
See how to search.