Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
-
OCaml
65.88 %
-
HTML
32.86 %
-
Coq
0.98 %
-
Makefile
0.17 %
-
Shell
0.04 %
Commit statistics for 8830bf80b2acc7e2d6c503bc07063f71110ab951 Mar 01 - Oct 05
- Total: 535 commits
- Average per day: 0.6 commits
- Authors: 7
Commits per day of month
Commits per weekday
Commits per day hour (UTC)