Lambdas is a project mainly written in HASKELL and OCAML, it's free.

Implementations of various versions of the lambda calculus.