AlphaUncommon
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
- Owner
- tlaplus (organization)
- Stars
- Stars: 318
- Forks
- Forks: 48
- Language
- TLA
- License
- MIT
- Created
- 2019
- Topics
- tlaplustla-specificationpluscal
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by tlaplus
All 7 repos by tlaplus- tlaplus/tlaplusStars: 3,168JavaRC
- tlaplus/ExamplesStars: 1,595TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- tlaplus/vscode-tlaplusStars: 440TypeScriptAlpha
- tlaplus/tlapmStars: 138OCamlPrototype
- tlaplus/PlusPyStars: 120PythonPrototype
Nearby in TLA
All TLA repos- tlaplus/DrTLAPlusStars: 860TLABeta
- ongardie/raft.tlaStars: 528TLAAlpha
- lemmy/BlockingQueueStars: 507TLAAlpha
- pingcap/tla-plusStars: 314TLAAlpha
- Apress/practical-tla-plusStars: 300TLAAlpha
- Azure/azure-cosmos-tlaStars: 298TLAAlpha