Top Coq developers globally
languages / Coq / global3,741 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | AbsInt | 1 | 1,768 |
| 2 |  | mit-plv | 18 | 1,712 |
| 3 |  | coq-community | 51 | 1,652 |
| 4 |  | gustavo-depaula | 1 | 1,476 |
| 5 |  | UniMath | 10 | 1,362 |
| 6 |  | HoTT | 1 | 1,221 |
| 7 |  | jwiegley | 12 | 1,094 |
| 8 |  | math-comp | 18 | 975 |
| 9 |  | uwplse | 12 | 898 |
| 10 |  | magmide | 1 | 804 |