3

I am researching about Tezos to what smart contract language there are available to use. When I look at the TezosWiki and other sources I came up to with this list:

Tezos Smart Contract Languages:

  • Ligolang: Write SC in JS, Camel, Reason and Pascal.
  • Smartpy: SmartPy language is available through a Python library for building and analyzing Tezos smart contracts
  • Pymich: Write Pure Python and get Micheline Code with PyMich: Open Source Python to Tezos Micheline Smart Contract Source Code Transpiler
  • PyTezos: A Python library for interacting with Tezos blockchain, testing smart contracts, and writing Michelson scripts
  • Liquidity: Liquidity is a high-level typed smart-contract language that compiles down to Michelson
  • Archetype: Archetype is a general purpose language to develop Smart Contracts on the Tezos blockchain, with exclusive features to ease development, tests and formal verification.
  • Morley: Morley is a Haskell-based framework for meta-programming Michelson smart contracts.
    • Lorentz: Lorentz is a stack-based embedded Domain Specific Language (eDSL) in Haskell that compiles to Michelson.
      • Indigo: Indigo eDSL is a high-level language for developing Michelson contracts.
        • Cleveland: Cleveland is a Haskell library for testing Michelson contracts.

I would say that Ligo and Smartpy are the most popular ones?

I assume PyTezos is not a real SC language?

Are people even using Liquidity or Archetype, Morley, Pymich..?

In the Tezos Developer Portal only the three are mentioned: Smartpy, Ligo, Archetype.

But on TezosWiki I have Morley Framework listed too (Lorentz, Indigo, Cleveland).

What are developers actually using, and what do you do not recommend?

2

3 Answers 3

3

We can confirm that LigoLANG is used by the following open-source projects: Quipuswap, Yupana, cTez, Juster, Vortex DEX, Flame DeFi, Deku Sidechain, TzPortal Bridge.

1
2

I can confirm that SmartPy is used by the following dApps (I restrict to the TOP 10 most used): objkt.com, fx hash, Hic et Nunc (repos), Teia (contract), Versum, Plenty, Kolibri (harbinger contracts), Youves (contracts), Tezotopia, LUGH: EUR stable coin.

I don't know well the list for other languages but I will edit this message if people add more info in the answers.

Archetype is used by Dogami, werenode and other projects.

Ligo is useb by baseDAO, Quipuswap, Yupana, cTez, Juster, Vortex DEX, Flame DeFi, Deku Sidechain, TzPortal Bridge.

1
  • Edited to add ligoLang projects.
    – Jordan_tez
    Nov 23, 2022 at 18:19
1

I assume PyTezos is not a real SC language?

Indeed

Are people even using Liquidity or Archetype, Morley, Pymich..?

Liquidity is not maintained anymore. Archetype and Morley are used. I don't know about Pymich.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.