GitHub repository: zachjs/sv2v
Primary language: Haskell
Description: SystemVerilog to Verilog conversion