TLA Collection
Top TLA repositories on GitHub
Top TLA repositories on GitHub
Examples
tlaplus
โA collection of TLAโบ specifications of varying complexities.โ
tla-rust
spacejam
โwriting correct lock-free and distributed stateful systems in Rust, assisted by TLA+โ
DrTLAPlus
tlaplus
โDr. TLA+ series - learn an algorithm and protocol, study a specificationโ
raft.tla
ongardie
โTLA+ specification for the Raft consensus algorithmโ
BlockingQueue
lemmy
โTutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!โ
CommunityModules
tlaplus
โTLA+ snippets, operators, and modules contributed and curated by the TLA+ communityโ
tla-plus
pingcap
practical-tla-plus
Apress
โSource Code for 'Practical TLA+' by Hillel Wayneโ
azure-cosmos-tla
Azure
โAzure Cosmos TLA+ specificationsโ
learntla-v2
hwayne
โLearn TLA+ for free! No prior experience necessary!โ
pgo
DistCompiler
โPGo is a source to source compiler from Modular PlusCal specs into Go programs.โ
clawdbot-formal-models
vignesh07
Specula
specula-org
โSpecula: A framework for finding deep bugs in system code using TLA+โ
bookkeeper-tlaplus
Vanlightly
โA TLA+ specification of the Apache BookKeeper replication protocolโ