Coq

languages / Coq
3,150Developers

Top ranked

RankDeveloperReposStars
1gravatar for AbsIntAbsInt11,451
2gravatar for mit-plvmit-plv161,296
3gravatar for gustavo-depaulagustavo-depaula11,143
4gravatar for HoTTHoTT11,121
5gravatar for jwiegleyjwiegley121,009
6gravatar for uwplseuwplse11815
7gravatar for math-compmath-comp18796
8gravatar for magmidemagmide1692
9gravatar for achlipalaachlipala1577
10gravatar for tchajedtchajed29562
5,078Repos

Top ranked

RankRepoStarsDeveloper
AbsInt/CompCert on Github1CompCert1,451AbsInt
gustavo-depaula/stalin-sort on Github2stalin-sort1,143gustavo-depaula
HoTT/HoTT on Github3HoTT1,121HoTT
magmide/magmide on Github4magmide692magmide
jwiegley/category-theory on Github5category-theory664jwiegley
achlipala/frap on Github6frap577achlipala
uwplse/verdi on Github7verdi531uwplse
mit-plv/fiat-crypto on Github8fiat-crypto499mit-plv
math-comp/math-comp on Github9math-comp441math-comp
tchajed/coq-tricks on Github10coq-tricks386tchajed
304Topics

Most popular