"Coq" - top repositories on ReviewGithub / page 2

repo	techs	stars	forks	weekly
PrincetonUniversity/VST	CoqCOCaml	398	87	0
magmide/magmide	CoqRustOther	776	12	0
nikhilg2121/fpga-blockchain	VerilogCoq	0	12	0
mit-plv/fiat-crypto	CoqAssemblyPython	622	163	0
coq-tactician/coq-tactician	OCamlCoqOther	46	12	+2
IDMIPPM/Functional_ECO	VerilogPythonCoq	5	3	0
clayrat/coherence-spaces	CoqMakefile	9	0	0
sifive/ProcKami	CoqMakefile	23	4	0
sifive/Kami	CoqHaskellOther	189	12	0
sifive/FpuKami	CoqMakefile	7	3	0
sifive/StdLibKami	CoqMakefile	5	4	0
ejgallego/coq-lsp	OCamlTypeScriptCoq	105	19	0
philomates/black-hole-analysis	Coq	0	0	0
stepchowfun/proofs	CoqRubyMakefile	274	10	0
jwiegley/category-theory	CoqOther	703	65	0
IBM/FormalML	CoqOther	60	17	0
LogicalAtomist/principia	TeXCoq	196	5	0
akhilagrawal1001/UnderTheHood	VerilogAssemblyCoq	0	7	0
AbsInt/CompCert	CoqOCamlAssembly	1.7k	238	0
freeflowuniverse/crystallib	VCHTML	8	1	0
bit-mips/bitmips_experiments	CoqAssemblyVerilog	30	9	0
AndrasKovacs/smalltt	LeanIdrisAgda	472	23	0
future-proof-iot/CertFC	CoqCMakefile	0	0	0
AU-COBRA/typed-extraction	CoqMakefile	2	2	0
coq-tactician/coq-tactician-reinforce	OCamlPythonCython	2	0	0