Calculi is a project mainly written in ..., it's free.
Various calculi and interpreters in Haskell
Various calculi and interpreters in Haskell.