Earliest usage tracked by Open Hub: May 2002
Total Lines
340,538,395 Code109,065,362 Comments54,574,096 (33.4%) |
Projects 501 | Contributors 2,279 | Commits 82,085 |
Accounts with the most overall experience in coq, as measured by Open Hub.
![]() |
![]() |
1. Guillaume Melquiond
13y 1m
|
![]() |
![]() |
2. Olof Kindgren
7y 3m
|
![]() |
![]() |
3. Jean-Christophe Filliatre
7y 1m
|
![]() |
![]() |
4. Claude Marché
6y 0m
|
![]() |
![]() |
5. Stefan Kristiansson
2y 11m
|
![]() |
![]() |
6. Ben Lippmeier
2y 9m
|
![]() |
![]() |
7. erikmd
2y 8m
|
![]() |
![]() |
8. Ramkumar Ramachandra
2y 5m
|
![]() |
![]() |
9. jamieiles
2y 5m
|
![]() |
![]() |
10. Stéphane Glondu
1y 11m
|
![]() |
![]() |
11. Jamey Hicks
1y 10m
|
![]() |
![]() |
12. Stephen Williams
1y 10m
|
![]() |
![]() |
13. Martin Bodin
1y 9m
|
![]() |
![]() |
14. fangism
1y 8m
|
![]() |
![]() |
15. orsonmmz
1y 7m
|
![]() |
![]() |
16. François Bobot
1y 6m
|
![]() |
![]() |
17. lekernel
1y 5m
|
![]() |
![]() |
18. nomeata
1y 5m
|
![]() |
![]() |
19. Anthony Green
1y 1m
|
![]() |
![]() |
20. Tim 'mithro' Ansell
1y 0m
|
![]() |
![]() |
21. sam-falvo
10m
|
![]() |
![]() |
22. Chris McClelland
10m
|
![]() |
![]() |
23. xclerc
9m
|
![]() |
![]() |
24. Matthew Turk
9m
|
![]() |
![]() |
25. AlanSchmitt
8m
|
Accounts with the most commits in coq between Apr 2022 and Jun 2022 as measured by Open Hub.
![]() |
![]() |
1. Stephen Williams
29 commits
|
![]() |
![]() |
2. Ramkumar Ramachandra
27 commits
|
![]() |
![]() |
3. Guillaume Melquiond
6 commits
|
![]() |
![]() |
4. Linas Vepstas
3 commits
|
![]() |
![]() |
5. François Bobot
1 commit
|
![]() |
![]() |
6. Matthew J. Dovey
1 commit
|
![]() |
![]() |
7. teverett
1 commit
|