Top Coq repos

languages / Coq / global

6,128 repos

«12...613»
RankRepoStarsDeveloper
AbsInt/CompCert on Github1CompCert1,757AbsInt
gustavo-depaula/stalin-sort on Github2stalin-sort1,455gustavo-depaula
HoTT/Coq-HoTT on Github3Coq-HoTT1,214HoTT
UniMath/UniMath on Github4UniMath909UniMath
magmide/magmide on Github5magmide803magmide
jwiegley/category-theory on Github6category-theory734jwiegley
mit-plv/fiat-crypto on Github7fiat-crypto685mit-plv
achlipala/frap on Github8frap639achlipala
uwplse/verdi on Github9verdi572uwplse
math-comp/math-comp on Github10math-comp544math-comp