Illustration: the project’s public image, pixelated by RepoMasters. Credits

BetaRare

spacejam/tla-rust

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

Owner: spacejam (personal account)
Stars: Stars: 1,074
Forks: Forks: 25
Language: TLA
License: None
Created: 2017
Topics: tlarustmodel-checkinglock-freedistributed
Tier: Beta (700 to 1,999 ★) What this tier means

More repos by spacejam

All 5 repos by spacejam

spacejam/sledStars: 9,104RustStable
spacejam/rioStars: 1,006RustBeta
spacejam/extremeStars: 165RustPrototype
spacejam/paxosStars: 144RustPrototype

Nearby in TLA

tlaplus/ExamplesStars: 1,596TLABeta
tlaplus/DrTLAPlusStars: 860TLABeta
ongardie/raft.tlaStars: 528TLAAlpha
lemmy/BlockingQueueStars: 507TLAAlpha