GitHub - spacejam/tla-rust: writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+ - discu.eu

Hacker News

Writing correct lock-free and distributed stateful systems in Rust, with TLA+ https://github.com/spacejam/tla-rust 94 comments 19/5/2017

Reddit

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+ https://github.com/spacejam/tla-rust 30 comments 19/5/2017 programming
TLA + Rust for provably correct and safe distributed systems. https://github.com/spacejam/tla-rust/blob/master/readme.md 11 comments 19/5/2017 rust

Linking pages

This Week in Rust 183 · This Week in Rust https://this-week-in-rust.org/blog/2017/05/23/this-week-in-rust-183/ 4 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 - spacejam/tla-rust: writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

See how to search.

Submit link to: