GitHub repository: kleinreact/syfco
Primary language: Haskell
Description: Synthesis Format Conversion Tool