michelson topic
lamtez
An ML-inspired smart contract language, compiling to Tezos' Michelson VM
Smart-Contract-Security-Audits
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting)
liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
objkt-swap
Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
TZComet
Contract Metadata Viewer on Tezos
michelson-kernel
Jupyter kernel for the Michelson language
pytezos
🐍 Python SDK for Tezos | Michelson VM in Python
Tezos-Developer-Resources
Resources for Tezos Developers
techelson
A test execution engine for Michelson smart contracts.