"Coq" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
coq/coq	OCamlCoqTeX	4.1k	+3	598	+2
nvdla/hw	VerilogC++C	1.4k	+1	511	+1
dspinellis/unix-history-repo	AssemblyCoqLimbo	6.1k	0	427	0
coq-community/coq-ext-lib	CoqOther	118	0	42	0
math-comp/math-comp	CoqOCamlMakefile	471	0	99	0
HoTT/book	TeXPythonCoq	1.9k	0	358	0
GaloisInc/saw-script	HaskellCoqPython	409	0	63	0
robbertkrebbers/compcert	CoqCOCaml	21	0	3	0
MetaCoq/metacoq	CoqOCamlMakefile	277	0	68	0
imdea-software/htt	CoqMakefile	58	0	6	0
tchajed/coq-record-update	CoqMakefilesed	37	0	13	0
coq-community/reglang	CoqJavaScriptCSS	31	0	5	0
QuickChick/QuickChick	CoqOCamlOther	227	0	40	0
tlringer/proof-demos	Coq	38	0	1	0
uds-psl/coq-library-undecidability	CoqOther	93	0	22	0
snu-sf/paco	CoqPythonOther	34	0	11	0
coq-community/lemma-overloading	CoqJavaScriptCSS	26	0	7	0
coq-community/hoare-tut	CoqMakefile	15	0	2	0
coq-community/topology	CoqMakefile	40	0	9	0
PrincetonUniversity/VST	CoqCOCaml	369	0	85	0
magmide/magmide	CoqOCamlRust	752	0	11	0
nikhilg2121/fpga-blockchain	VerilogCoq	0	0	12	0
mit-plv/fiat-crypto	CoqAssemblyPython	549	0	146	0
coq-tactician/coq-tactician	OCamlCoqOther	41	0	7	0
melange-re/melange	OCamlCPostScript	459	0	36	0

Coq