Language Statistics
coq
Earliest usage tracked by Open Hub: January 2003
|
Total Lines
343,361,974 Code111,857,153 Comments54,581,737 (32.8%) |
Projects 517 | Contributors 2,445 | Commits 85,107 |
Most Experienced Contributors
Accounts with the most overall experience in coq, as measured by Open Hub.
 |
 |
1. Guillaume Melquiond
13y 1m
|
 |
 |
2. Olof Kindgren
7y 5m
|
 |
 |
3. Jean-Christophe Filliatre
7y 1m
|
|
|
 |
4. Claude Marché
6y 0m
|
 |
 |
5. Ben Lippmeier
2y 11m
|
|
|
 |
6. Stefan Kristiansson
2y 11m
|
|
|
 |
7. erikmd
2y 8m
|
 |
 |
8. Ramkumar Ramachandra
2y 8m
|
 |
 |
9. jamieiles
2y 5m
|
|
|
 |
10. Anthony Green
2y 5m
|
|
|
 |
11. Stephen Williams
2y 1m
|
|
|
 |
12. Stéphane Glondu
1y 11m
|
 |
 |
13. Jamey Hicks
1y 10m
|
|
|
 |
14. Martin Bodin
1y 9m
|
|
|
 |
15. fangism
1y 8m
|
 |
 |
16. orsonmmz
1y 7m
|
|
|
 |
17. François Bobot
1y 6m
|
|
|
 |
18. lekernel
1y 5m
|
|
|
 |
19. nomeata
1y 5m
|
|
|
 |
20. Tim 'mithro' Ansell
1y 0m
|
|
|
 |
21. sam-falvo
10m
|
|
|
 |
22. Chris McClelland
10m
|
|
|
 |
23. Matthew Turk
9m
|
 |
 |
24. xclerc
9m
|
|
|
 |
25. AlanSchmitt
8m
|
Recently Active Contributors
Accounts with the most commits in coq between Sep 2023 and Nov 2023 as measured by Open Hub.
|
|
|
1. Stephen Williams
11 commits
|
 |
 |
2. teverett
2 commits
|
|
|
|
3. Olof Kindgren
2 commits
|