Morley is a Haskell-based framework for meta-programming Michelson smart contracts.
It consists of:
The Morley language: a superset of the Michelson language, with a simpler syntax and some simple features.
Contracts are written in
A library with the core Tezos and Michelson data types, as well as tools for typechecking,
interpreting, parsing and printing Michelson and Morley contracts.
An executable with commands for compiling and working with Morley and Michelson contracts,
along with a REPL for interactively running instructions.