"TLA" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
neondatabase/neon	RustPythonC	9.8k	+59	274	0
delta-io/delta-rs	RustPythonTLA	1.4k	+14	263	+7
apollographql/router	RustTLAShell	694	+4	209	+2
cometbft/cometbft	GoTeXTLA	356	+3	153	+3
hwayne/lets-prove-leftpad	SystemVerilogCommon LispIsabelle	579	+2	56	0
jepsen-io/jepsen	ClojureJavaShell	6.3k	0	702	0
rabbitmq/osiris	ErlangTLAStarlark	42	0	10	0
apache/zookeeper	JavaC++C	11.6k	0	7.1k	0
tlaplus/Examples	TLATeXOther	1.1k	0	199	0
tendermint/tendermint	GoTeXTLA	5.6k	0	2.1k	0
mongodb/mongo	C++JavaScriptPython	24.4k	0	5.6k	0
elastic/elasticsearch-formal-models	IsabelleTLATeX	201	0	25	0
tlaplus/tlaplus	JavaHTMLTLA	2.1k	0	172	0
m3db/m3	GoShellHTML	4.5k	0	444	0
Vanlightly/raft-tlaplus	TLA	50	0	5	0
ElliotSwart/pragmaticformalmodeling	TLAHTMLSCSS	37	0	2	0
hwayne/learntla-v2	TLAPythonPowerShell	140	0	34	0
tlaplus-workshops/ewd998	TLAShell	41	0	47	0
GerardoGran/gemini-tla-verification	TLAShellR	2	0	2	0
kevinsullivan/TLAPlusDocker	DockerfileTLA	8	0	10	0
input-output-hk/cardano-shell	HaskellTLANix	30	0	13	0
Vanlightly/vsr-tlaplus	TLA	26	0	0	0
skarupke/two_bit_mutex	TLAC++	21	0	1	0
anoma/typhon	TLARust	21	0	2	0
ongardie/raft.tla	TLA	387	0	68	0

TLA