TLA

languages / TLA
643Developers

Top ranked

RankDeveloperReposStars
1gravatar for tlaplustlaplus32,133
2gravatar for spacejamspacejam11,002
3gravatar for lemmylemmy7512
4gravatar for ongardieongardie1387
5gravatar for pingcappingcap1277
6gravatar for ApressApress1270
7gravatar for AzureAzure1242
8gravatar for VanlightlyVanlightly5195
9gravatar for hwaynehwayne3161
10gravatar for DistCompilerDistCompiler1147
822Repos

Top ranked

RankRepoStarsDeveloper
tlaplus/Examples on Github1Examples1,137tlaplus
spacejam/tla-rust on Github2tla-rust1,002spacejam
tlaplus/DrTLAPlus on Github3DrTLAPlus763tlaplus
lemmy/BlockingQueue on Github4BlockingQueue466lemmy
ongardie/raft.tla on Github5raft.tla387ongardie
pingcap/tla-plus on Github6tla-plus277pingcap
Apress/practical-tla-plus on Github7practical-tla-plus270Apress
Azure/azure-cosmos-tla on Github8azure-cosmos-tla242Azure
tlaplus/CommunityModules on Github9CommunityModules233tlaplus
DistCompiler/pgo on Github10pgo147DistCompiler
0Topics

Most popular

TopicReposStars