TLA

languages / TLA
553Developers

Top ranked

RankDeveloperReposStars
1gravatar for tlaplustlaplus31,943
2gravatar for spacejamspacejam1966
3gravatar for ongardieongardie1351
4gravatar for pingcappingcap1265
5gravatar for AzureAzure1221
6gravatar for VanlightlyVanlightly4148
7gravatar for hwaynehwayne3137
8gravatar for DistCompilerDistCompiler1129
9gravatar for will62794will627941498
10gravatar for hachikujihachikuji180
698Repos

Top ranked

RankRepoStarsDeveloper
tlaplus/Examples on Github1Examples1,012tlaplus
spacejam/tla-rust on Github2tla-rust966spacejam
tlaplus/DrTLAPlus on Github3DrTLAPlus722tlaplus
ongardie/raft.tla on Github4raft.tla351ongardie
pingcap/tla-plus on Github5tla-plus265pingcap
Azure/azure-cosmos-tla on Github6azure-cosmos-tla221Azure
tlaplus/CommunityModules on Github7CommunityModules209tlaplus
DistCompiler/pgo on Github8pgo129DistCompiler
hwayne/learntla-v2 on Github9learntla-v2116hwayne
Vanlightly/bookkeeper-tlaplus on Github10bookkeeper-tlaplus87Vanlightly
80Topics

Most popular