Smart contracts
Discover the languages of Tezos
Learn to write smart contracts and build everything from marketplaces to financial applications. In the Tezos ecosystem, most smart contracts are written in LIGO, or SmartPy. All features available on Tezos can be written by any of these high-level languages, which all compile down to Michelson. You can switch between languages based on your preferences and projects.
SmartPy
SmartPy
A framework and online IDE for building Tezos smart contracts with Python.
SmartPy is a Python library for building and analyzing smart contracts. SmartPy tools include a compiler that generates Michelson code, a simulation engine, and an online IDE for a streamlined development process.
Projects built using SmartPy
LIGO
LIGO
A smart contract language available in multiple, familiar syntaxes.
LIGO is a flexible, minimalist smart contract language that compiles down to Michelson. Choose from JsLIGO, CameLIGO, PascaLIGO, and ReasonLIGO.
Projects built using LIGO
Compare languages
Compare the different languages used in the Tezos ecosystem to build and deploy smart contracts.
SmartPy
SmartPy
Code Example
Expand
Testing suite
Unit testing integrated into the library
Online IDE and deployment
YES
IDE extensions
VS Code
Ligo
Ligo
Code Example
Expand
Testing suite
Unit testing integrated into the language
Online IDE and deployment
YES
IDE extensions
LSP extension for VSCode Emacs plugin
FOLLOW US
Feedback or comments? Get in touch with us at reachout@tezos.com
For media inquiries please contact communications@tezos.foundation