Top TLA repos

949 repos

	Rank	Repo	Stars	Developer
	31	vsr-tlaplus	26	Vanlightly
	32	typhon	26	anoma
	33	SASwap_TLAplus_spec	25	dgpv
	34	pluscal	24	belaban
	35	two_bit_mutex	23	skarupke
	36	TLAplusFun	22	Isaac-DeFrain
	37	TLAPLUS_DeadlockEmpire	22	cobusve
	38	tla_workshop	22	parlarjb
	39	paxosnotes	21	matklad
	40	PaxosStore-tla	21	Starydark