TLA
languages / TLA643Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | tlaplus | 3 | 2,133 |
2 | ![]() | spacejam | 1 | 1,002 |
3 | ![]() | lemmy | 7 | 512 |
4 | ![]() | ongardie | 1 | 387 |
5 | ![]() | pingcap | 1 | 277 |
6 | ![]() | Apress | 1 | 270 |
7 | ![]() | Azure | 1 | 242 |
8 | ![]() | Vanlightly | 5 | 195 |
9 | ![]() | hwayne | 3 | 161 |
10 | ![]() | DistCompiler | 1 | 147 |