Rare find

tla-rust. writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

github.com/spacejam/tla-rust
by @spacejam

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.