Top TLA developers globally
languages / TLA / global729 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | tlaplus | 4 | 2,261 |
| 2 |  | spacejam | 1 | 1,022 |
| 3 |  | lemmy | 7 | 523 |
| 4 |  | ongardie | 1 | 437 |
| 5 |  | pingcap | 1 | 289 |
| 6 |  | Apress | 1 | 281 |
| 7 |  | Azure | 1 | 260 |
| 8 |  | Vanlightly | 5 | 217 |
| 9 |  | hwayne | 3 | 189 |
| 10 |  | DistCompiler | 1 | 166 |