Linking pages
Linked pages
- Gödel, Escher, Bach - Wikipedia http://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach 1216 comments
- GitHub - HigherOrderCO/HVM: A massively parallel, optimal functional runtime in Rust https://github.com/Kindelia/HVM 300 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/kindelia/kind 158 comments
- GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust. https://github.com/mthom/scryer-prolog 142 comments
- GitHub - viperproject/prusti-dev: A static verifier for Rust, based on the Viper verification infrastructure. https://github.com/viperproject/prusti-dev 92 comments
- GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. https://github.com/sarsko/CreuSAT 83 comments
- GitHub - sslab-gatech/Rudra: Rust Memory Safety & Undefined Behavior Detection https://github.com/sslab-gatech/Rudra 70 comments
- Formally Verifying Rust's Opaque Types | dylanj.xyz https://dylanj.xyz/posts/rust-coq-opaque-types/ 66 comments
- GitHub - advancedresearch/poi: a pragmatic point-free theorem prover assistant https://github.com/advancedresearch/poi 41 comments
- GitHub - stateright/stateright: A model checker for implementing distributed systems. https://github.com/stateright/stateright 27 comments
- https://github.com/facebookexperimental/mirai/blob/master/readme.md 25 comments
- Galois: Trust in your most critical systems. https://galois.com 18 comments
- https://crates.io/crates/contracts 17 comments
- Automatic Rust verification tools (2021) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/automatic-rust-verification-tools-2021/ 16 comments
- GitHub - advancedresearch/linear_solver: A linear solver designed to be easy to use with Rust enums. https://github.com/advancedresearch/linear_solver 13 comments
- GitHub - endgameinc/xori: Xori is an automation-ready disassembly and static analysis library for PE32, 32+ and shellcode https://github.com/endgameinc/xori#xori---custom-disassembly-framework 12 comments
- Solving The Witness with Z3 (Part 1) https://www.techofnote.com/witness-part-1 11 comments
- https://crates.io/crates/pocket_prover 9 comments
- An adventure with optimization, Rust and Z3 | Adolfo Ochagavía https://ochagavia.nl/blog/an-adventure-with-optimization-rust-and-z3/ 9 comments
- GitHub - Kha/electrolysis: Simple verification of Rust programs via functional purification in Lean 2(!) https://github.com/kha/electrolysis 8 comments