Programming languages used in this repository

  •   Coq
    65.3 %
  •   Standard ML
    29.1 %
  •   Scala
    2.08 %
  •   Verilog
    1.39 %
  •   Shell
    1.31 %
  •   OCaml
    0.55 %
  •   Ruby
    0.25 %
  •   Makefile
    0.01 %

Commit statistics for master May 04 - Mar 08

  • Total: 1521 commits
  • Average per day: 1.1 commits
  • Authors: 17

Commits per day of month

Commits per weekday

Commits per day hour (UTC)