Repository analytics
Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
Code coverage statistics for coq-stdpp-1.0 Dec 29 - Mar 29
Commit statistics for coq-stdpp-1.0 Jun 11 - Feb 14
Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
- Total: 431 commits
- Average per day: 0.3 commits
- Authors: 7
Commits per day of month
Commits per weekday
Commits per day hour (UTC)