Top TLA repos

954 repos

	Rank	Repo	Stars	Developer
	41	tla-snippets	21	hwayne
	42	raft-tla	20	dranov
	43	ceph-consensus-spec	20	afonsonf
	44	tla-ci	20	cwi-swat
	45	tezedge-specification	20	tezedge
	46	whipstaff	20	crytic
	47	mongo-repl-tla-models	19	will62794
	48	just-in-time-paxos	18	kuujo
	49	Zeus	18	ease-lab
	50	rutschblock	18	decanus