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 language020406080100CoqHaskellC++CMakefile

Code coverage statistics for 6d50a8ecd8ebfe6c4a8c60892225def2ba1acd31 Dec 31 - Mar 31

Commit statistics for 6d50a8ecd8ebfe6c4a8c60892225def2ba1acd31 Jan 27 - May 07

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
0 results
  • Total: 38 commits
  • Average per day: 0.4 commits
  • Authors: 3

Commits per day of month

No. of commitsDay of month024681012345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday0369121518MondayTuesdayWednesdayThursdayFridaySaturdaySunday

Commits per day hour (UTC)

No. of commitsHour (UTC)0246801234567891011121314151617181920212223