- Rust: beyond the typechecker http://blog.merigoux.fr/en/2019/04/16/verifying-rust.html 33 comments rust
Linking pages
Linked pages
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 293 comments
- Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine https://servo.org/ 270 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- https://rust-lang.zulipchat.com/#narrow/stream/335408-foundation/topic/Scaling.20Up.20the.20Services/near/325541112 135 comments
- [1903.00982] Oxide: The Essence of Rust https://arxiv.org/abs/1903.00982 87 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- RustBelt http://plv.mpi-sws.org/rustbelt/#project 37 comments
- Leveraging rust types for modular specification and verification - Research Collection https://www.research-collection.ethz.ch/handle/20.500.11850/311092 10 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:blog.merigoux.fr
Search title: Rust: beyond the typechecker
See how to search.