Top TLA developers globally

774 developers

Rank		Developer	Repos	Stars
1		tlaplus	4	2,375
2		spacejam	1	1,043
3		lemmy	7	530
4		ongardie	1	465
5		pingcap	1	293
6		Apress	1	288
7		Azure	1	271
8		Vanlightly	6	253
9		hwayne	3	219
10		will62794	16	190