Language Statistics

coq

Earliest usage tracked by Open Hub: October 1997

Total Lines

6,363,208

Code

4,915,197

Comments

507,260 (9.4%)

Projects 335 Contributors 848 Commits 27,857

Recently Active Contributors

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

KudoRank 1
938a1af878fa7dbf8467dc1e07449747?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
1. sam-falvo
30 commits
KudoRank 9
00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
2. Guillaume Melquiond
2 commits
KudoRank 8
C664fa8a499b86e12ec8e8b411ac10c8?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
3. Jamey Hicks
1 commit