Coq

languages / Coq
3,211Developers

Top ranked

RankDeveloperReposStars
1gravatar for AbsIntAbsInt11,543
2gravatar for mit-plvmit-plv161,379
3gravatar for gustavo-depaulagustavo-depaula11,157
4gravatar for HoTTHoTT11,154
5gravatar for jwiegleyjwiegley121,027
6gravatar for uwplseuwplse11831
7gravatar for math-compmath-comp18827
8gravatar for magmidemagmide1706
9gravatar for tchajedtchajed30596
10gravatar for achlipalaachlipala1586
5,168Repos

Top ranked

RankRepoStarsDeveloper
AbsInt/CompCert on Github1CompCert1,543AbsInt
gustavo-depaula/stalin-sort on Github2stalin-sort1,157gustavo-depaula
HoTT/Coq-HoTT on Github3Coq-HoTT1,154HoTT
magmide/magmide on Github4magmide706magmide
jwiegley/category-theory on Github5category-theory680jwiegley
achlipala/frap on Github6frap586achlipala
uwplse/verdi on Github7verdi541uwplse
mit-plv/fiat-crypto on Github8fiat-crypto539mit-plv
math-comp/math-comp on Github9math-comp456math-comp
tchajed/coq-tricks on Github10coq-tricks406tchajed
315Topics

Most popular