#Michelson

softstack

Smart-Contract-Security-Audits

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

OCamlPro

liquidity

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

oxheadalpha

TZComet

Contract Metadata Viewer on Tezos

baking-bad

michelson-kernel

Jupyter kernel for the Michelson language