Top Coq developers globally
languages / Coq / global3,716 developers
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | AbsInt | 1 | 1,757 | |
2 | mit-plv | 18 | 1,691 | |
3 | coq-community | 51 | 1,639 | |
4 | gustavo-depaula | 1 | 1,455 | |
5 | UniMath | 10 | 1,353 | |
6 | HoTT | 1 | 1,213 | |
7 | jwiegley | 12 | 1,093 | |
8 | math-comp | 18 | 967 | |
9 | uwplse | 12 | 894 | |
10 | magmide | 1 | 803 |