Morley for Tezos
Goals of the project:
Tezos uses its own stack-based language – Michelson. While this language allows for formal verification of smart contracts and, therefore, is useful, it lacks some functionality. To solve that, we created Morley.
Morley consists of a set of tools and libraries that make writing smart contracts in Michelson pleasant and productive. It has data types representing everything present in Michelson, an implementation of the Michelson typechecker and interpreter, and a testing framework. Morley implements a dialect of Michelson that we call the Morley language.