"TLA" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
mongodb/mongo	C++JavaScriptPython	24.5k	+31	5.5k	-9
apollographql/router	RustTLAShell	702	+4	207	+1
ongardie/raft.tla	TLA	390	+2	68	0
jepsen-io/jepsen	ClojureJavaShell	6.3k	0	704	+1
rabbitmq/osiris	ErlangTLAStarlark	42	0	10	0
apache/zookeeper	JavaC++C	11.6k	0	7.1k	0
tlaplus/Examples	TLATeXOther	1.1k	0	204	0
tendermint/tendermint	GoTeXTLA	5.6k	0	2.1k	0
elastic/elasticsearch-formal-models	IsabelleTLATeX	201	0	25	0
tlaplus/tlaplus	JavaHTMLTLA	2.1k	0	173	0
neondatabase/neon	RustPythonC	9.9k	0	275	0
m3db/m3	GoShellHTML	4.5k	0	444	0
Vanlightly/raft-tlaplus	TLA	52	0	5	0
ElliotSwart/pragmaticformalmodeling	TLAHTMLSCSS	38	0	2	0
hwayne/learntla-v2	TLAPythonPowerShell	143	0	34	0
tlaplus-workshops/ewd998	TLAShell	43	0	48	0
delta-io/delta-rs	RustPythonTLA	1.4k	0	270	0
GerardoGran/gemini-tla-verification	TLAShellR	2	0	2	0
kevinsullivan/TLAPlusDocker	DockerfileTLA	8	0	11	0
hwayne/lets-prove-leftpad	SystemVerilogCommon LispIsabelle	580	0	56	0
input-output-hk/cardano-shell	HaskellTLANix	30	0	13	0
Vanlightly/vsr-tlaplus	TLA	25	0	0	0
skarupke/two_bit_mutex	TLAC++	22	0	1	0
cometbft/cometbft	GoTeXTLA	365	0	169	0
anoma/typhon	TLARust	23	0	2	0

TLA