Morley is a parser and interpreter for the Tezos smart-contract language, Michelson.
It is a compilation target for Michelson, which provides a local runtime environment
and a suite of testing tools. It can also serve as a platform for writing
transpilers which compile other languages to Michelson, and for writing
formal-verification tools. It is written in Haskell.