Programming languages used in this repository

  •   Verilog
    52.38 %
  •   VHDL
    31.66 %
  •   Coq
    15.58 %
  •   Python
    0.38 %

Commit statistics for master May 10 - Aug 27

  • Total: 14 commits
  • Average per day: 0.0 commits
  • Authors: 2

Commits per day of month

Commits per weekday

Commits per day hour (UTC)