Coq

languages / Coq
3,457Developers

Top ranked

RankDeveloperReposStars
1gravatar for AbsIntAbsInt11,621
2gravatar for mit-plvmit-plv161,457
3gravatar for coq-communitycoq-community451,402
4gravatar for UniMathUniMath91,262
5gravatar for gustavo-depaulagustavo-depaula11,185
6gravatar for HoTTHoTT11,173
7gravatar for jwiegleyjwiegley121,043
8gravatar for math-compmath-comp19888
9gravatar for uwplseuwplse12859
10gravatar for magmidemagmide1764
5,642Repos

Top ranked

RankRepoStarsDeveloper
AbsInt/CompCert on Github1CompCert1,621AbsInt
gustavo-depaula/stalin-sort on Github2stalin-sort1,185gustavo-depaula
HoTT/Coq-HoTT on Github3Coq-HoTT1,173HoTT
UniMath/UniMath on Github4UniMath842UniMath
magmide/magmide on Github5magmide764magmide
jwiegley/category-theory on Github6category-theory693jwiegley
achlipala/frap on Github7frap599achlipala
mit-plv/fiat-crypto on Github8fiat-crypto577mit-plv
uwplse/verdi on Github9verdi551uwplse
math-comp/math-comp on Github10math-comp483math-comp
0Topics

Most popular

TopicReposStars