Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Bsc | 850 | 4 months ago | 182 | other | Haskell | |||||
Bluespec Compiler (BSC) | ||||||||||
Homotopy | 76 | 13 years ago | 1 | Verilog | ||||||
Homotopy theory in Coq. | ||||||||||
Schoolworks | 34 | 7 months ago | bsd-2-clause | Verilog | ||||||
Repository of NCKU class slides,exams, and homeworks | ||||||||||
Vivado Ip Cores | 15 | 3 years ago | mit | Verilog | ||||||
IP Cores that can be used within Vivado | ||||||||||
V2tt | 14 | 4 years ago | apache-2.0 | C++ | ||||||
This is the repository for the transpiler to compile Verilog to C++ code with TFHE library. | ||||||||||
Besspin Gfe 2019 | 7 | 3 years ago | 1 | apache-2.0 | Verilog | |||||
The DARPA SSITH-funded Government Furnished Equipment on which all secure CPUs are based. | ||||||||||
Freerider | 5 | 7 years ago | Verilog | |||||||
Meowrouter Top | 5 | 4 years ago | mit | VHDL | ||||||
Top for MeowRouter |