TLA
languages / TLA553Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | tlaplus | 3 | 1,943 |
2 | ![]() | spacejam | 1 | 966 |
3 | ![]() | ongardie | 1 | 351 |
4 | ![]() | pingcap | 1 | 265 |
5 | ![]() | Azure | 1 | 221 |
6 | ![]() | Vanlightly | 4 | 148 |
7 | ![]() | hwayne | 3 | 137 |
8 | ![]() | DistCompiler | 1 | 129 |
9 | ![]() | will62794 | 14 | 98 |
10 | ![]() | hachikuji | 1 | 80 |