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

rust security-audit ethereum smart-contracts wasm audit solidity plutus solidity-contracts nft michelson erc20-tokens vyper defi smart-contracts-audit binance-smart-chain bep20 solana-program smart-contract-vulnerability move-contracts

• Updated Oct 26, 2026
• HTML

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

ocaml smart-contracts blockchain liquidity tezos michelson

• Updated Feb 24, 2021
• OCaml

🐍 Python SDK for Tezos | Michelson VM in Python

testing integration-testing repl rpc tezos michelson tezos-blockchain tezos-platform

• Updated Sep 17, 2026
• Python

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

smart-contract tezos michelson atomic-swap tezos-blockchain

• Updated Aug 21, 2023
• Python

Resources for Tezos Developers

api list tutorial resource blockchain liquidity tezos michelson

• Updated Jan 14, 2020
• Shell

Contract Metadata Viewer on Tezos

ocaml smart-contracts tyxml tezos michelson

• Updated Sep 10, 2024
• OCaml

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

tezos michelson-vm michelson

• Updated Sep 29, 2017
• OCaml

Jupyter kernel for the Michelson language

repl smart-contracts jupyter-kernels tezos michelson

• Updated Mar 24, 2021
• Python

A test execution engine for Michelson smart contracts.

testing liquidity tezos michelson

• Updated Mar 5, 2019
• OCaml

A debugger for Michelson

emacs ocaml debuggers tezos michelson

• Updated Aug 7, 2023
• OCaml

LLTZ: Compiler from MLIR to Michelson

language programming-language rust vm compiler llvm blockchain web3 smartcontracts tezos michelson tezos-blockchain mlir stackmachine

• Updated Jan 18, 2025
• Rust

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

awesome ligo awesome-list tezos michelson tezos-blockchain smartpy taquito xtz

• Updated Oct 13, 2026

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

intellij tezos michelson tezos-platform tezos-intellij intellij-support

• Updated Feb 15, 2021
• Kotlin

michelson/smartpy smart contracts repository

smart-contract tezos michelson

• Updated Feb 17, 2022
• Python

Compilation of an extended lambda-calculus to Michelson

compiler functional-programming michelson

• Updated May 28, 2024
• OCaml

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

vim tezos michelson

• Updated Dec 5, 2017
• Vim Script

Swift library for interacting with Tezos blockchain

swift ios blockchain tezos michelson rpcs

• Updated Jul 22, 2022
• Swift

smart-contract tezos michelson

• Updated Nov 17, 2020

Atomex protocol implementation in pure Michelson

smart-contracts dex tezos michelson atomic-swap

• Updated Apr 30, 2020
• Python

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

learning jupyter notebooks tezos michelson

• Updated Mar 31, 2023
• Jupyter Notebook