Hacker News
Linking pages
- Totality https://blog.yoshuawuyts.com/totality/ 54 comments
- Unsafe Rust: How and when (not) to use it - LogRocket Blog https://blog.logrocket.com/unsafe-rust-how-and-when-not-to-use-it/ 27 comments
- Rust verification tools (2020) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/rust-verification-tools/ 18 comments
- xavxav - Visions of the future: formal verification in Rust https://xav.io/blog/rust-formal-verification/ 5 comments
- 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 - viperproject/prusti-dev: A static verifier for Rust, based on the Viper verification infrastructure.
See how to search.