[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/ KiCS] (The Kiel Curry System) is a compiler that translates Curry to Haskell.