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

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