FunVM is a project mainly written in Haskell, based on the View license.
A Functional intermediate language
A superset of the lambda calculus, intended to be used as low-level intermedate language for functional languages. Similar to .NETs common intermediate language, or Java bytecode.
Just an experiment for now.