Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
-
Coq
53.3 %
-
Verilog
21.72 %
-
Standard ML
19.93 %
-
Scala
2.83 %
-
Shell
1.64 %
Commit statistics for 858945d3488ebcd1e86e0fc9dc978bca8075a7a0 May 04 - Jan 22
- Total: 1570 commits
- Average per day: 1.2 commits
- Authors: 18
Commits per day of month
Commits per weekday
Commits per day hour (UTC)