Skip to content
Snippets Groups Projects

Repository analytics

Programming languages used in this repository

Measured in bytes of code. Excludes generated and vendored code.

PercentageUsed programming language051015202530JavaScriptTypeScriptCoqOCamlCSS

Code coverage statistics for 76484498c9c43b948d64934c95b0f5f1f93b01ce Dec 19 - Mar 19

Commit statistics for 76484498c9c43b948d64934c95b0f5f1f93b01ce May 12 - Jul 07

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
0 results
  • Total: 1534 commits
  • Average per day: 0.5 commits
  • Authors: 16

Commits per day of month

No. of commitsDay of month030609012015012345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday050100150200250300350MondayTuesdayWednesdayThursdayFridaySaturdaySunday

Commits per day hour (UTC)

No. of commitsHour (UTC)030609012015018021001234567891011121314151617181920212223