A data-parallel functional programming language
Bluespec Compiler (BSC)
Koka language compiler and interpreter
Haskell to VHDL/Verilog/SystemVerilog compiler
Compiler for Elm, a functional language for reliable webapps
Mirror of the Glasgow Haskell Compiler