Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos and more

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

🐍 Python SDK for Tezos | Michelson VM in Python

Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.

Resources for Tezos Developers

Contract Metadata Viewer on Tezos

An ML-inspired smart contract language, compiling to Tezos' Michelson VM

Jupyter kernel for the Michelson language

A test execution engine for Michelson smart contracts.

A debugger for Michelson

LLTZ: Compiler from MLIR to Michelson

A curated list of Tezos Ecosystem dApps, tools, and communities.

michelson/smartpy smart contracts repository

IntelliJ support for the Tezos platform. Support for Michelson for now.

An vim plugin for the Michelson smart contracts language used by tezos

Swift library for interacting with Tezos blockchain

Atomex protocol implementation in pure Michelson

Compilation of an extended lambda-calculus to Michelson

🎓 Series of Jupyter notebooks for training in Tezos development & analysis