Top TLA developers globally

738 developers

Rank		Developer	Repos	Stars
1		tlaplus	4	2,283
2		spacejam	1	1,025
3		lemmy	7	524
4		ongardie	1	442
5		pingcap	1	288
6		Apress	1	282
7		Azure	1	259
8		Vanlightly	6	220
9		hwayne	3	192
10		will62794	15	175