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 |
