A curated list of Tezos Ecosystem dApps, tools, and communities.
-
Updated
May 20, 2024
A curated list of Tezos Ecosystem dApps, tools, and communities.
🐍 Python SDK for Tezos | Michelson VM in Python
LLTZ: Compiler from MLIR to Michelson
Compilation of an extended lambda-calculus to Michelson
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting)
SmartPy smart contract development platform for the Tezos blockchain.
Shutter-Shack-Photo-Album-Gallery-App
BMSTU Student Interference Simulation - WebApp
Michelson frontend for LiSA
Contract Metadata Viewer on Tezos
Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
Tezos smart contracts for Warden.
VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.
Projects glossary for projects done by members of Tezos Developer's Community, Vellore.
Add a description, image, and links to the michelson topic page so that developers can more easily learn about it.
To associate your repository with the michelson topic, visit your repo's landing page and select "manage topics."