GitHub repository: ICBench/yosys
Primary language: C++
Description: Logic synthesis and ABC based optimization