By Language

Languages

• Pascal, OCaml, ReasonML | LIGO

• Python | SmartPy

• Haskell | Indigo

• Language of Tezos Smart Contracts | Michelson

• Domain-Specific | Archetype

• | Scaml

• | Albert

• | Juvix

Pascal, OCaml, ReasonML | LIGO

Cryptonomic

Cryptonomic is an NYC-based company committed to decentralization and digital sovereignty, providing tools and smart contracts which enable higher level decentralized and consortium applications.

Website: https://cryptonomic.tech/

Marigold / LIGO

Team being the LIGO programming language, a friendly smart contracts language for Tezos.

Website: https://ligolang.org/docs/contributors/origin/

OCamlLabs, UK

Research and develop improvements to the popular Lwt OCaml library, which is used in the Tezos codebase.

Website: https://github.com/ocamllabs

Stove Labs

Implement a non-fungible token (NFT) as well as support the development of the Tezos Satoshi’s Treasure Hunt. IPFS, ReasonML, Smart Contracts, Opensource, DAPPs, Tutorials and more.

Website: https://stove-labs.com/

Python | SmartPy

Blockmatics

The Blockmatics team will release a course to train developers to write Tezos smart contracts in SmartPy.

Website: https://blockmatics.io/

Cryptoverse Wars (SmartPy)

Cryptoverse Wars is a fun interactive code school developed by BUIDL Labs that teaches developers how to write smart contracts in SmartPy.

Website: https://cryptocodeschool.in/tezos/

SmartPy

Developed by Smart Chain Arena, is an intuitive and effective language that gives developers the tools needed to write smart contracts using Python syntax that compiles down to Michelson.

Website: https://smartpy.io/

Language of Tezos Smart Contracts | Michelson

Baking Bad

Builds software to help improve Tezos smart contracts development: Michelson – a Jupyter (interactive notebook) kernel based on a custom Michelson interpreter with runtime type checking, syntax coloring, and basic autocomplete functionality.

Website: https://baking-bad.org/

Runtime Verification

Formal semantics and reference implementation of Michelson in the K Framework. Building off of its previous Tezos work, Runtime Verification will create a formal verification framework for Michelson by extending its existing unit testing framework to handle the case of symbolic unit tests.

Website: https://runtimeverification.com/

Tezos IntelliJ Plugin

IntelliJ support for the Tezos platform. It provides smart support for the Michelson language: parsing, code highlighting, formatting, code completion, live templates, and more.

Website: https://plugins.jetbrains.com/plugin/11125-tezos

Rust

SimpleStaking

Implement a secure, trustworthy and open-source Tezos node in the Rust programming language, a popular language with a focus on safety.

Website: https://simplestaking.com/

Juvix

Metastate

Researches and develops a number of technologies to help advance the Tezos project.

Website: https://github.com/metastatedev/juvix & https://juvix.org/