Dépôts TLA
13 dépôts TLA au catalogue, du plus étoilé au moins étoilé.
- tlaplus/ExamplesÉtoiles : 1 595TLABêta
- spacejam/tla-rustÉtoiles : 1 074TLABêta
- tlaplus/DrTLAPlusÉtoiles : 860TLABêta
- ongardie/raft.tlaÉtoiles : 528TLAAlpha
- lemmy/BlockingQueueÉtoiles : 507TLAAlpha
- tlaplus/CommunityModulesÉtoiles : 318TLAAlpha
- pingcap/tla-plusÉtoiles : 314TLAAlpha
- Apress/practical-tla-plusÉtoiles : 300TLAAlpha
- Azure/azure-cosmos-tlaÉtoiles : 298TLAAlpha
- hwayne/learntla-v2Étoiles : 278TLAAlpha
- DistCompiler/pgoÉtoiles : 211TLAPrototype
- vignesh07/clawdbot-formal-modelsÉtoiles : 198TLAPrototype
- Vanlightly/bookkeeper-tlaplusÉtoiles : 104TLAPrototype