Earliest usage tracked by Open Hub: March 2004
Total Lines
339,497,972 Code110,231,265 Comments54,220,638 (33.0%) |
Projects 459 | Contributors 2,487 | Commits 81,528 |
Accounts with the most overall experience in coq, as measured by Open Hub.
1. Olof Kindgren
8y 4m
|
||
2. Guillaume Melquiond
6y 9m
|
||
3. Claude Marché
6y 2m
|
||
4. Jean-Christophe Filliatre
3y 3m
|
||
5. Stefan Kristiansson
2y 11m
|
||
6. Ben Lippmeier
2y 11m
|
||
7. Ramkumar Ramachandra
2y 10m
|
||
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. erikmd
1y 1m
|
||
18. François Bobot
1y 1m
|
||
19. Tim 'mithro' Ansell
1y 0m
|
||
20. Anthony Green
11m
|
||
21. masatake
10m
|
||
22. sam-falvo
10m
|
||
23. Chris McClelland
10m
|
||
24. xclerc
9m
|
||
25. Matthew Turk
9m
|
Accounts with the most commits in coq between Jan 2024 and Mar 2024 as measured by Open Hub.
1. Olof Kindgren
8 commits
|
||
2. Stephen Williams
3 commits
|