TLA GitHub repos
13 TLA repos in the catalog, most starred first.
- tlaplus/ExamplesStars: 1,595TLABeta
- spacejam/tla-rustStars: 1,074TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- ongardie/raft.tlaStars: 528TLAAlpha
- lemmy/BlockingQueueStars: 507TLAAlpha
- tlaplus/CommunityModulesStars: 318TLAAlpha
- pingcap/tla-plusStars: 314TLAAlpha
- Apress/practical-tla-plusStars: 300TLAAlpha
- Azure/azure-cosmos-tlaStars: 298TLAAlpha
- hwayne/learntla-v2Stars: 278TLAAlpha
- DistCompiler/pgoStars: 211TLAPrototype
- vignesh07/clawdbot-formal-modelsStars: 198TLAPrototype
- Vanlightly/bookkeeper-tlaplusStars: 104TLAPrototype