Haskell to VHDL/Verilog/SystemVerilog compiler

Cryptol: The Language of Cryptography

Bluespec Compiler (BSC)

SystemVerilog to Verilog conversion

CSL citation processing library in Haskell

Kansas Lava

Libre Silicon Compiler

Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document

Implementation of the rsync algorithm in pure Java and Haskell

Library Exchange Format