vogon101 / ECAD

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About


Languages

Language:Verilog 51.4%Language:SystemVerilog 36.9%Language:Bluespec 6.8%Language:Coq 1.9%Language:C 1.2%Language:Makefile 0.8%Language:Assembly 0.5%Language:Python 0.3%Language:Stata 0.2%Language:Scheme 0.0%Language:Mathematica 0.0%Language:C++ 0.0%