Coq

languages / Coq
3,359Developers

Top ranked

RankDeveloperReposStars
1gravatar for AbsIntAbsInt11,692
2gravatar for mit-plvmit-plv171,587
3gravatar for gustavo-depaulagustavo-depaula11,365
4gravatar for UniMathUniMath101,312
5gravatar for HoTTHoTT11,191
6gravatar for jwiegleyjwiegley121,072
7gravatar for math-compmath-comp18917
8gravatar for uwplseuwplse12878
9gravatar for magmidemagmide1784
10gravatar for tchajedtchajed30668
5,277Repos

Top ranked

RankRepoStarsDeveloper
AbsInt/CompCert on Github1CompCert1,692AbsInt
gustavo-depaula/stalin-sort on Github2stalin-sort1,365gustavo-depaula
HoTT/Coq-HoTT on Github3Coq-HoTT1,191HoTT
UniMath/UniMath on Github4UniMath876UniMath
magmide/magmide on Github5magmide784magmide
jwiegley/category-theory on Github6category-theory716jwiegley
mit-plv/fiat-crypto on Github7fiat-crypto636mit-plv
uwplse/verdi on Github8verdi559uwplse
math-comp/math-comp on Github9math-comp515math-comp
tchajed/coq-tricks on Github10coq-tricks458tchajed
0Topics

Most popular

TopicReposStars