camlCase

A Tezos company working on smart contract tools. Consulting, Development, and Education for the Tezos Ecosystem. Our tutorials are developer focused. We write technical walkthroughs for Tezos on baking, smart contracts, and other areas of Tezos development. We provide consulting services for those looking to write smart contracts or build on Tezos. 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.