Language Statistics

coq

Earliest usage tracked by Open Hub: May 2002

Total Lines

340,538,395

Code

109,065,362

Comments

54,574,096 (33.4%)

Projects 501 Contributors 2,279 Commits 82,085

Recently Active Contributors

Accounts with the most commits in coq between Apr 2022 and Jun 2022 as measured by Open Hub.

KudoRank 1
1. Stephen Williams
29 commits
KudoRank 10
2. Ramkumar Ramachandra
27 commits
KudoRank 7
3. Guillaume Melquiond
6 commits
KudoRank 5
4. Linas Vepstas
3 commits
KudoRank 1
5. François Bobot
1 commit
KudoRank 1
6. Matthew J. Dovey
1 commit
KudoRank 3
7. teverett
1 commit