Maintenance scheduled 24th July -- expect downtime along that day

Programming languages used in this repository

  •   Verilog
    47.78 %
  •   HTML
    41.33 %
  •   Python
    4.04 %
  •   C
    2.76 %
  •   Coq
    1.54 %
  •   Objective-C
    1.13 %
  •   Tcl
    0.7 %
  •   Makefile
    0.37 %
  •   C++
    0.35 %

Commit statistics for c4f5c9f56841118ebca3ea4537c1fbf18703a6db May 06 - Jan 24

  • Total: 52 commits
  • Average per day: 0.1 commits
  • Authors: 2

Commits per day of month

Commits per weekday

Commits per day hour (UTC)