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 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/
Team being the LIGO programming language, a friendly smart contracts language for Tezos.
Website: https://ligolang.org/docs/contributors/origin/
Research and develop improvements to the popular Lwt OCaml library, which is used in the Tezos codebase.
Website: https://github.com/ocamllabs
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
The Blockmatics team will release a course to train developers to write Tezos smart contracts in SmartPy.
Website: https://blockmatics.io/
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/
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/
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/
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
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
Researches and develops a number of technologies to help advance the Tezos project.
Website: https://github.com/metastatedev/juvix & https://juvix.org/
Last updated