Contract Metadata Viewer on Tezos
-
Updated
Sep 10, 2024 - OCaml
Contract Metadata Viewer on Tezos
A curated list of Tezos Ecosystem dApps, tools, and communities.
🐍 Python SDK for Tezos | Michelson VM in Python
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting)
Compilation of an extended lambda-calculus to Michelson
LLTZ: Compiler from MLIR to Michelson
SmartPy smart contract development platform for the Tezos blockchain.
Shutter-Shack-Photo-Album-Gallery-App
BMSTU Student Interference Simulation - WebApp
Michelson frontend for LiSA
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."