Top TLA repos

997 repos

	Rank	Repo	Stars	Developer
	31	typhon	28	anoma
	32	vsr-tlaplus	27	Vanlightly
	33	two_bit_mutex	25	skarupke
	34	SASwap_TLAplus_spec	25	dgpv
	35	pluscal	25	belaban
	36	tla-ci	24	cwi-swat
	37	TLAplusFun	22	Isaac-DeFrain
	38	TLAPLUS_DeadlockEmpire	22	cobusve
	39	tla_workshop	22	parlarjb
	40	SandTable	21	tangruize