GitHub repository: thoughtpolice/yosys-bluespec
Primary language: C++
Description: Yosys plugin for synthesis of Bluespec code