# Dépôts TLA [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [TLA](https://repo.masters-masters.com/languages/tla) Les 13 dépôts TLA open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. ## Dépôts TLA 13 dépôts TLA au catalogue, du plus étoilé au moins étoilé. - [tlaplus/Examples · ★ 1 596 · TLA · Bêta](https://repo.masters-masters.com/repos/tlaplus/Examples) - [spacejam/tla-rust · ★ 1 074 · TLA · Bêta](https://repo.masters-masters.com/repos/spacejam/tla-rust) - [tlaplus/DrTLAPlus · ★ 860 · TLA · Bêta](https://repo.masters-masters.com/repos/tlaplus/DrTLAPlus) - [ongardie/raft.tla · ★ 528 · TLA · Alpha](https://repo.masters-masters.com/repos/ongardie/raft.tla) - [lemmy/BlockingQueue · ★ 507 · TLA · Alpha](https://repo.masters-masters.com/repos/lemmy/BlockingQueue) - [tlaplus/CommunityModules · ★ 318 · TLA · Alpha](https://repo.masters-masters.com/repos/tlaplus/CommunityModules) - [pingcap/tla-plus · ★ 314 · TLA · Alpha](https://repo.masters-masters.com/repos/pingcap/tla-plus) - [Apress/practical-tla-plus · ★ 300 · TLA · Alpha](https://repo.masters-masters.com/repos/Apress/practical-tla-plus) - [Azure/azure-cosmos-tla · ★ 298 · TLA · Alpha](https://repo.masters-masters.com/repos/Azure/azure-cosmos-tla) - [hwayne/learntla-v2 · ★ 278 · TLA · Alpha](https://repo.masters-masters.com/repos/hwayne/learntla-v2) - [DistCompiler/pgo · ★ 212 · TLA · Prototype](https://repo.masters-masters.com/repos/DistCompiler/pgo) - [vignesh07/clawdbot-formal-models · ★ 198 · TLA · Prototype](https://repo.masters-masters.com/repos/vignesh07/clawdbot-formal-models) - [Vanlightly/bookkeeper-tlaplus · ★ 104 · TLA · Prototype](https://repo.masters-masters.com/repos/Vanlightly/bookkeeper-tlaplus) --- Données : GitHub