Language Statistics
coq
Earliest usage tracked by Open Hub: June 2006
|
Total Lines
361,019,253 Code125,213,786 Comments54,994,480 (30.5%) |
Projects 484 | Contributors 3,002 | Commits 101,660 |
Most Experienced Contributors
Accounts with the most overall experience in coq, as measured by Open Hub.
 |
 |
1. Olof Kindgren
9y 4m
|
 |
 |
2. Guillaume Melquiond
7y 3m
|
 |
 |
3. Claude Marché
6y 8m
|
|
|
 |
4. Jean-Christophe Filliatre
3y 3m
|
 |
 |
5. Ramkumar Ramachandra
2y 11m
|
 |
 |
6. Ben Lippmeier
2y 11m
|
|
|
 |
7. Stefan Kristiansson
2y 11m
|
|
|
 |
8. Stephen Williams
2y 8m
|
 |
 |
9. jamieiles
2y 5m
|
 |
 |
10. Jamey Hicks
1y 10m
|
|
|
 |
11. Martin Bodin
1y 9m
|
|
|
 |
12. Stéphane Glondu
1y 8m
|
|
|
 |
13. fangism
1y 8m
|
 |
 |
14. orsonmmz
1y 7m
|
|
|
 |
15. nomeata
1y 5m
|
|
|
 |
16. lekernel
1y 5m
|
|
|
 |
17. François Bobot
1y 2m
|
|
|
 |
18. erikmd
1y 1m
|
|
|
 |
19. Tim 'mithro' Ansell
1y 0m
|
|
|
 |
20. Anthony Green
11m
|
|
|
 |
21. Chris McClelland
10m
|
|
|
 |
22. Masatake YAMATO
10m
|
|
|
 |
23. sam-falvo
10m
|
|
|
 |
24. Matthew Turk
9m
|
 |
 |
25. xclerc
9m
|
Recently Active Contributors
Accounts with the most commits in coq between Apr 2026 and Jun 2026 as measured by Open Hub.
|
|
|
1. Guillaume Melquiond
2 commits
|
|
|
|
2. François Bobot
2 commits
|
|
|
|
3. Claude Marché
1 commit
|