Popular repositories Loading

1. yosys yosys Public

   Forked from YosysHQ/yosys

   Yosys Open SYnthesis Suite

   C++ 1

2. SymbiYosys SymbiYosys Public

   Forked from YosysHQ/sby

   SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

   Python 1

3. abc abc Public

   Forked from YosysHQ/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C 1

4. caffe2 caffe2 Public

   Forked from Yangqing/caffe2

   This is currently an experimental refactoring of Caffe.

   C++ 1

5. MinecraftHDL MinecraftHDL Public

   Forked from itsfrank/MinecraftHDL

   A Verilog synthesis flow for Minecraft redstone circuits

   SystemVerilog 1

6. book book Public

   Forked from sklli/book

   C 1