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