michelson
There are 43 repositories under michelson topic.
softstack/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)
OCamlPro/liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
baking-bad/pytezos
🐍 Python SDK for Tezos | Michelson VM in Python
hicetnunc2000/objkt-swap
Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
bonedaddy/Tezos-Developer-Resources
Resources for Tezos Developers
oxheadalpha/TZComet
Contract Metadata Viewer on Tezos
fab13n/lamtez
An ML-inspired smart contract language, compiling to Tezos' Michelson VM
baking-bad/michelson-kernel
Jupyter kernel for the Michelson language
OCamlPro/techelson
A test execution engine for Michelson smart contracts.
KaroshiBee/weevil
A debugger for Michelson
woxjro/lltz
LLTZ: Compiler from MLIR to Michelson
TheTezosCommunity/awesome-tezos
A curated list of Tezos Ecosystem dApps, tools, and communities.
jansorg/tezos-intellij
IntelliJ support for the Tezos platform. Support for Michelson for now.
hicetnunc2000/hicetnuncDAO
michelson/smartpy smart contracts repository
atomex-me/atomex-michelson
Atomex protocol implementation in pure Michelson
rnestler/michelson.vim
An vim plugin for the Michelson smart contracts language used by tezos
AckeeCZ/TezosSwift
Swift library for interacting with Tezos blockchain
ephel-lang/mitch
Compilation of an extended lambda-calculus to Michelson
baking-bad/michelson-labs
🎓 Series of Jupyter notebooks for training in Tezos development & analysis
InvestaX/XToken.tz
XToken.tz is a digital security token compliant with FA 1.2 token standard
Azazel-h/Interference_Simulation_System
BMSTU Student Interference Simulation - WebApp
wardenfinance/contracts
Tezos smart contracts for Warden.
abdellah-idris/Tezos-smart-contracts
SmartPy smart contract development platform for the Tezos blockchain.
baking-bad/vscode-michelson-syntax
Michelson & Morley syntax highlighting
Chain-of-Insight/uanon-contracts
Uanon Tezos contracts
coinless-bde/blockchain-development-environment
An intergrated development environment specialized for the Tezos smart contract language Michelson
Dayveed117/vscode-whylson-connector
VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.
hicetnunc2000/wuwei
wuwei無為 price feed experiment
jams2blues/savetheworldwithart-mainnet
Recently ShutDown, keeping live on Github for anyone that wants it, rebranded for The Zero Contract. Fully On-Chain Tezos contract deployment and minting/burning platform using the #ZeroContract by @jestem00 on X, created by @jams2blues to expedite on-chain minting and making it code-free
lisa-analyzer/michelson-lisa
Michelson frontend for LiSA
azfarmasood/Shutter-Shack-Photo-Album-Gallery
Shutter-Shack-Photo-Album-Gallery-App
tdc-vellore/glossary
Projects glossary for projects done by members of Tezos Developer's Community, Vellore.
woxjro/michelson-ast
Michelson AST written in Rust