Popular repositories Loading

1. yosys yosysPublic

   Forked from YosysHQ/yosys

   Yosys Open SYnthesis Suite

   C++ 1

2. SymbiYosys SymbiYosysPublic

   Forked from YosysHQ/sby

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

   Python 1

3. abc abcPublic

   Forked from YosysHQ/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C 1

4. caffe2 caffe2Public

   Forked from Yangqing/caffe2

   This is currently an experimental refactoring of Caffe.

   C++ 1

5. MinecraftHDL MinecraftHDLPublic

   Forked from itsfrank/MinecraftHDL

   A Verilog synthesis flow for Minecraft redstone circuits

   SystemVerilog 1

6. book bookPublic

   Forked from sklli/book

   C 1