Lobsters
Linking pages
- GitHub - AbdesamedBendjeddou/Rusty-CS: A Computer Science Curriculum with Rust flavor! https://github.com/AbdesamedBendjeddou/Rusty-CS 22 comments
- This Week in Rust 345 · This Week in Rust https://this-week-in-rust.org/blog/2020/06/30/this-week-in-rust-345/ 12 comments
- This Week in Rust 338 · This Week in Rust https://this-week-in-rust.org/blog/2020/05/12/this-week-in-rust-338/ 11 comments
- Retrospective | Rust Verification Tools https://project-oak.github.io/rust-verification-tools/2021/09/01/retrospective.html 0 comments
Linked pages
- Rust Programming Language https://www.rust-lang.org/ 595 comments
- The Rust Programming Language - The Rust Programming Language https://doc.rust-lang.org/book/ 234 comments
- Ferrocene - Ferrous Systems https://ferrous-systems.com/blog/sealed-rust-the-pitch/ 202 comments
- GitHub - viperproject/prusti-dev: A static verifier for Rust, based on the Viper verification infrastructure. https://github.com/viperproject/prusti-dev 92 comments
- Introduction - The Rustonomicon https://doc.rust-lang.org/nomicon/ 92 comments
- A Formal Verification of Rust's Binary Search Implementation https://kha.github.io/2016/07/22/formally-verifying-rusts-binary-search.html 43 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- Baby Steps https://smallcultfollowing.com/babysteps/blog/2020/04/09/libraryification/ 37 comments
- RustBelt http://plv.mpi-sws.org/rustbelt/#project 37 comments
- GitHub - dwrensha/seer: symbolic execution engine for Rust https://github.com/dwrensha/seer 28 comments
- GitHub - nrc/libhoare: Design by contract style assertions for Rust https://github.com/nrc/libhoare 28 comments
- https://github.com/facebookexperimental/mirai/blob/master/readme.md 25 comments
- KLEE http://klee.github.io/ 24 comments
- GitHub - Kha/electrolysis: Simple verification of Rust programs via functional purification in Lean 2(!) https://github.com/kha/electrolysis 8 comments
- GitHub - PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rust https://github.com/PLSysSec/haybale 0 comments
- GitHub - rust-fuzz/arbitrary: Generating structured data from arbitrary, unstructured input. https://github.com/rust-fuzz/arbitrary 0 comments
- Rust Fuzzing Authority · GitHub https://github.com/rust-fuzz/ 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:alastairreid.github.io
Search title: Rust verification tools (2020) – Alastair Reid – Researcher at Intel
See how to search.