Top TLA repos

929 repos

	Rank	Repo	Stars	Developer
	1	Examples	1,223	tlaplus
	2	tla-rust	1,022	spacejam
	3	DrTLAPlus	779	tlaplus
	4	BlockingQueue	479	lemmy
	5	raft.tla	437	ongardie
	6	tla-plus	289	pingcap
	7	practical-tla-plus	281	Apress
	8	azure-cosmos-tla	260	Azure
	9	CommunityModules	256	tlaplus
	10	learntla-v2	168	hwayne