About
Project source files of CODlab codes files of which are organized and showed more clearly in git project COD, with other relative files.
Languages
Language:VHDL 54.0%Language:Coq 39.2%Language:SystemVerilog 2.0%Language:Verilog 1.3%Language:Shell 1.1%Language:HTML 0.7%Language:JavaScript 0.6%Language:Tcl 0.6%Language:C 0.5%Language:Stata 0.1%Language:Batchfile 0.0%Language:Forth 0.0%Language:Pascal 0.0%Language:Assembly 0.0%Language:PureBasic 0.0%