Top Coq repos

6,152 repos

	Rank	Repo	Stars	Developer
	11	coq-tricks	476	tchajed
	12	VST	415	PrincetonUniversity
	13	sail-riscv	390	riscv
	14	CoqGym	370	princeton-vl
	15	metacoq	350	MetaCoq
	16	proofs	286	stepchowfun
	17	bedrock2	279	mit-plv
	18	hs-to-coq	279	antalsz
	19	hacspec	242	hacspec
	20	QuickChick	239	QuickChick