Koka language compiler and interpreter
Haskell to VHDL/Verilog/SystemVerilog compiler
A data-parallel functional programming language
Compiler for Elm, a functional language for reliable webapps
A GHC-based Haskell to JavaScript compiler
dependently typed functional programming language