Hacker News
- Stateright: A model checker for implementing distributed systems https://github.com/stateright/stateright 24 comments
Lobsters
- Stateright: A model checker for implementing distributed systems https://github.com/stateright/stateright 3 comments formalmethods , rust
Linking pages
- arl/README-Rust.md at master · kaxap/arl · GitHub https://github.com/kaxap/arl/blob/master/README-Rust.md 14 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
- GitHub - richardartoul/nola https://github.com/richardartoul/nola 0 comments
Linked pages
- Rust Programming Language https://www.rust-lang.org/ 592 comments
- Knockout : Home http://knockoutjs.com/ 142 comments
- Distributed Systems Safety Research http://jepsen.io/ 60 comments
- The TLA+ Home Page http://lamport.azurewebsites.net/tla/tla.html 32 comments
- Linearizability - Wikipedia https://en.wikipedia.org/wiki/Linearizability 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - stateright/stateright: A model checker for implementing distributed systems.
See how to search.