5abe57b7eb79cfcf5ae2cf546fb2a6169fef6e6a
Languages
Verilog
51.4%
Coq
38.2%
Tcl
2.7%
SystemVerilog
2.5%
Assembly
1.7%
Other
3.3%