Stars
7
results
for forked starred repositories
Clear filter
nidhilawange / btor2-opt
Forked from dobios/btor2-optBtor2 parser, circuit mitter, and code optimizer
Btor2-Research-Group / circtMemory
Forked from llvm/circtCircuit IR Compilers and Tools with memory support
Repository for the sustainable development tycoon game, being developped under the SURE project.
luisacicolini / Leanwuzla
Forked from hargoniX/LeanwuzlaConnecting Bitwuzla to LeanSAT
adwait / btor2opt
Forked from dobios/btor2-optVery basic btor2 parser, circuit miter, and code optimizer
schoeberl / chisel
Forked from chipsalliance/chiselChisel: A Modern Hardware Design Language
erlingrj / fpga-tidbits
Forked from maltanar/fpga-tidbitsChisel components for FPGA projects