Morley / Lorentz / Indigo

​Morley is a Haskell-based framework for meta-programming Michelson smart contracts.

Key Resources

• ​Lorentz introductory blog post​

• ​Lorentz documentation​

Archetype

​Archetype is a DSL for Tezos which facilitates formal verification and transcodes contracts to SmartPy and LIGO.