Tezos Agora Wiki
Search…
Tezos Agora Wiki
Welcome to the Tezos Agora Wiki!
Tezos White Paper
Tezos Position Paper
Learn
Intro to Tezos
Baking
Tezos Governance
Tezos and Functional Programming
Smart Contracts on Tezos
Michelson
SmartPy
LIGO
Morley Framework
Archetype
Formal Verification
Uses of Tezos
In Development
Build
Tezos Clients
Blockchain Indexers
dApp Development
Create a Tezos Token
Use
Quick Reference
Baking
User Opportunities
Contact and Support
Contribute
How to Contribute
Feedback
Powered By GitBook
SmartPy
​SmartPy is a complete system to develop smart-contracts for the Tezos blockchain. It is an embedded Domain Specific Language (DSL) in python that gives the users the ability to write and implement test scenarios to test their smart-contracts. It includes an online IDE, a beautiful origination page to deploy smart-contracts in various Tezos networks, an explorer that allows users to interact with their contracts, and a command-line interface.
Python is 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.
An Overview of SmartPy

SmartPy Resources

Previous
Michelson
Next
LIGO
Last modified 1yr ago
Copy link
Contents
SmartPy Resources