Top TLA repos

956 repos

	Rank	Repo	Stars	Developer
	51	snapshot-isolation-spec	18	will62794
	52	PaxosMadeSimple	18	nano-o
	53	ffpaxos-tlaplus	17	fpaxos
	54	tlaplus-example	17	siddontang
	55	pingpong	17	stresch
	56	tla-specs	16	statechannels
	57	Arrival	16	VadimPlh
	58	SandTable	15	tangruize
	59	audits	15	informalsystems
	60	epidemic-register	15	lorin