Skip to main content


What is SmartPy?โ€‹

SmartPy is a complete system to develop smart contracts for the Tezos blockchain.

SmartPy Overview


Python and Typescript are used to generate programs in an imperative, type inferred, and intermediate language called SmartML. SmartML is the name of the OCaml library that provides an interpreter, a compiler to Michelson, and a scenario "on-chain" interpreter. The platform uses a mix of OCaml translated to pure javascript through js_of_ocaml, Python, and Typescript to glue everything together. The command-line interface is also built using js_of_ocaml and runs on Node.js.

What does SmartPy offer?โ€‹

  • An embedded Domain Specific Language (DSL) in Python that gives users the ability to customize their smart-contracts with as many configurations as they want by leveraging meta-programming;
  • A Typescript syntax, which offers a great experience and power for javascript and typescript programmers;
  • An online playground where users can write and test their smart contracts, including the ability to quickly share their code;
  • A competent origination page to deploy smart contracts in various Tezos networks (Origination Page);
  • An explorer that allows users to interact with their deployed contracts (Explorer Page);
  • A command-line interface (CLI);