Discover the languages of Tezos

Smart contracts

Learn to write smart contracts and build everything from marketplaces to financial applications. In the Tezos ecosystem, most smart contracts are written in Archetype, 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.

Archetype LIGO SmartPy

Hide code

Archetype

A high-level language for building verifiable smart contracts on Tezos.

Archetype is a language designed specifically for the Tezos blockchain to simplify the building, testing, and deployment of smart contracts.

Learn more

Projects built using Archetype

Ubisoft Quartz

A platform to acquire Digits, Ubisoft NFTs representing gaming collectibles and playable items.

Rarible

An NFT marketplace featuring a vibrant and diverse collection of NFTs on Tezos.

KlapCoin

A new generation cryptocurrency designed for the entertainment industry.

Hide code

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.

Learn more

Projects built using LIGO

Dogamí

A play-to-earn game centered around full ownership of your 3D NFT dog.

QuipuSwap

A decentralized exchange for Tezos-based tokens and tez (XTZ).

TZStamp

Trusted timestamping on the Tezos blockchain.

Hide code

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.

Learn more

Projects built using SmartPy

Objkt.com

An NFT marketplace on Tezos that allows auctioning and trading tokens across smart contracts.

Plenty

A DeFi protocol that enables swapping of fungible tokens on Tezos.

Lugh

A Euro-pegged stablecoin on Tezos.

Compare languages

Compare the different languages used in the Tezos ecosystem to build and deploy smart contracts.

Archetype

Ligo

SmartPy

Code example

Testing suite

Dedicated JS library & sandbox environment

Testing suite

Unit testing integrated into the language

Testing suite

Unit testing integrated into the library

Online IDE and deployment

Online tryouts via Gitpod instance

Online IDE and deployment

YES

Online IDE and deployment

YES

IDE extensions

VS Code

IDE extensions

LSP extension for VSCode Emacs plugin

IDE extensions

VS Code

Stay up to date on all things Tezos