"coq" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
coq/coq	OCamlCoqTeX	4.4k	+7	626	0
MetaCoq/metacoq	CoqOCamlMakefile	301	+2	71	0
coq-community/coq-ext-lib	CoqOther	121	0	44	0
math-comp/math-comp	CoqTeXOCaml	509	0	106	0
imdea-software/htt	CoqMustacheShell	61	0	6	0
coq-community/reglang	CoqJavaScriptCSS	37	0	5	0
QuickChick/QuickChick	CoqOCamlC	230	0	43	0
uds-psl/coq-library-undecidability	CoqOther	96	0	24	0
coq-community/lemma-overloading	CoqJavaScriptCSS	26	0	6	0
coq-community/hoare-tut	CoqMakefile	16	0	2	0
coq-community/topology	CoqMakefile	44	0	10	0
PrincetonUniversity/VST	CoqCOCaml	398	0	87	0
coq-community/templates	MustacheShellNix	11	0	8	0
magmide/magmide	CoqRustOther	776	0	12	0
coq-tactician/coq-tactician	OCamlCoqOther	46	0	12	+2
sifive/ProcKami	CoqMakefile	23	0	4	0
sifive/RiscvSpecFormal	HaskellShellC++	72	0	7	0
ejgallego/coq-lsp	OCamlTypeScriptCoq	105	0	19	0
stepchowfun/proofs	CoqRubyMakefile	274	0	10	0
jwiegley/category-theory	CoqOther	703	0	65	0
LogicalAtomist/principia	TeXCoq	196	0	5	0
AbsInt/CompCert	CoqOCamlAssembly	1.7k	0	238	0
coq/opam-coq-archive	OCamlShellMakefile	109	0	135	0
AU-COBRA/typed-extraction	CoqMakefile	2	0	2	0
coq-community/goedel	CoqMakefile	27	0	3	0

coq