Slur is a project mainly written in PYTHON and HASKELL, it's free.

slur programming language is a thick symmantic wrapper for haskell