Language Statistics

coq

Earliest usage tracked by Open Hub: May 1998

Total Lines

61,373,847

Code

15,335,037

Comments

10,248,632 (40.1%)

Projects 350 Contributors 882 Commits 31,564

Recently Active Contributors

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

KudoRank 9
Ddc397c8b591167f0a26cd3320aa794f?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
1. Tim 'mithro' Ansell
539 commits
KudoRank 9
6a7246c7597385c5fa1d2028fdc16cf8?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
2. Anthony Green
27 commits
KudoRank 9
00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
3. Guillaume Melquiond
12 commits
KudoRank 8
47d998277b460e8e10be447a00dc6cb3?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
4. jamieiles
11 commits
KudoRank 9
A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
5. Claude Marché
3 commits