TLA

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

Rank	Repo	Stars	Developer
1	Examples	1,286	tlaplus
2	tla-rust	1,043	spacejam
3	DrTLAPlus	815	tlaplus
4	BlockingQueue	485	lemmy
5	raft.tla	465	ongardie
6	tla-plus	293	pingcap
7	practical-tla-plus	288	Apress
8	azure-cosmos-tla	271	Azure
9	CommunityModules	269	tlaplus
10	learntla-v2	198	hwayne

Topic	Repos	Stars