Top Coq developers globally
languages / Coq / global3,727 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 11 |  | tchajed | 31 | 697 |
| 12 |  | achlipala | 1 | 639 |
| 13 |  | PrincetonUniversity | 3 | 453 |
| 14 |  | mit-pdos | 8 | 423 |
| 15 |  | coq-contribs | 141 | 390 |
| 16 |  | riscv | 1 | 390 |
| 17 |  | princeton-vl | 1 | 370 |
| 18 |  | MetaCoq | 2 | 352 |
| 19 |  | Lysxia | 11 | 313 |
| 20 |  | clarus | 25 | 292 |