TLA

languages / TLA
522Developers

Top ranked

RankDeveloperReposStars
1gravatar for tlaplustlaplus31,854
2gravatar for spacejamspacejam1953
3gravatar for lemmylemmy6469
4gravatar for ongardieongardie1338
5gravatar for pingcappingcap1257
6gravatar for ApressApress1256
7gravatar for AzureAzure1210
8gravatar for VanlightlyVanlightly3117
9gravatar for DistCompilerDistCompiler2116
10gravatar for hwaynehwayne3110
665Repos

Top ranked

RankRepoStarsDeveloper
tlaplus/Examples on Github1Examples960tlaplus
spacejam/tla-rust on Github2tla-rust953spacejam
tlaplus/DrTLAPlus on Github3DrTLAPlus695tlaplus
lemmy/BlockingQueue on Github4BlockingQueue429lemmy
ongardie/raft.tla on Github5raft.tla338ongardie
pingcap/tla-plus on Github6tla-plus257pingcap
Apress/practical-tla-plus on Github7practical-tla-plus256Apress
Azure/azure-cosmos-tla on Github8azure-cosmos-tla210Azure
tlaplus/CommunityModules on Github9CommunityModules199tlaplus
DistCompiler/pgo on Github10pgo116DistCompiler
80Topics

Most popular