Coq
languages / Coq3,457Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | AbsInt | 1 | 1,621 |
2 | ![]() | mit-plv | 16 | 1,457 |
3 | ![]() | coq-community | 45 | 1,402 |
4 | ![]() | UniMath | 9 | 1,262 |
5 | ![]() | gustavo-depaula | 1 | 1,185 |
6 | ![]() | HoTT | 1 | 1,173 |
7 | ![]() | jwiegley | 12 | 1,043 |
8 | ![]() | math-comp | 19 | 888 |
9 | ![]() | uwplse | 12 | 859 |
10 | ![]() | magmide | 1 | 764 |