Language Statistics

coq

Earliest usage tracked by Open Hub: July 2000

Total Lines

325,039,316

Code

100,549,241

Comments

53,097,677 (34.6%)

Projects 457 Contributors 1,436 Commits 46,220

Recently Active Contributors

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

KudoRank 9
F8ccaacf28ae129491de5f4de9888873?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
1. Ramkumar Ramachandra
5 commits
KudoRank 9
1e56be82079f4da6a8d8235f5595d8d6?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
2. Olof Kindgren
5 commits