39 skills found · Page 1 of 2
softstack / Smart Contract Security AuditsCertified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos and more
OCamlPro / LiquidityA high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
hicetnunc2000 / Objkt SwapHic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
TezTech / Fi CompilerCustom compiler for Michelson - Tezos Smart Contracts
bonedaddy / Tezos Developer ResourcesResources for Tezos Developers
baking-bad / Tezos On TezosMichelson VM and Tezos OS rewritten in Rust
oxheadalpha / TZCometContract Metadata Viewer on Tezos
fab13n / LamtezAn ML-inspired smart contract language, compiling to Tezos' Michelson VM
baking-bad / Michelson KernelJupyter kernel for the Michelson language
runtimeverification / Michelson SemanticsA K semantics of Tezos' Michelson language.
OCamlPro / TechelsonA test execution engine for Michelson smart contracts.
tezos / Optimal StackCompiler for stack manipulation in Michelson
KaroshiBee / WeevilA debugger for Michelson
woxjro / LltzLLTZ: Compiler from MLIR to Michelson
royess / RealMichelsonA simulator of Michelson interferometer.
kupl / MicSEThe Michelson Symbolic vErifier
TheTezosCommunity / Awesome TezosA curated list of Tezos Ecosystem dApps, tools, and communities.
BrianGuo / MichelsonExecutionEngineNo description available
hicetnunc2000 / HicetnuncDAOmichelson/smartpy smart contracts repository
jansorg / Tezos IntellijIntelliJ support for the Tezos platform. Support for Michelson for now.
