Top TLA repos

languages / TLA / global

941 repos

«12...95»
RankRepoStarsDeveloper
tlaplus/Examples on Github1Examples1,236tlaplus
spacejam/tla-rust on Github2tla-rust1,025spacejam
tlaplus/DrTLAPlus on Github3DrTLAPlus782tlaplus
lemmy/BlockingQueue on Github4BlockingQueue480lemmy
ongardie/raft.tla on Github5raft.tla439ongardie
pingcap/tla-plus on Github6tla-plus288pingcap
Apress/practical-tla-plus on Github7practical-tla-plus281Apress
tlaplus/CommunityModules on Github8CommunityModules262tlaplus
Azure/azure-cosmos-tla on Github9azure-cosmos-tla259Azure
hwayne/learntla-v2 on Github10learntla-v2171hwayne