michelson

There are 2 repositories under michelson topic.

• Smart-Contract-Security-Audits

  softstackHQ / 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)

  auditbep20binance-smart-chaindefierc20-tokensethereummichelsonmove-contractsnftplutusrustsecurity-auditsmart-contract-vulnerabilitysmart-contractssmart-contracts-auditsolana-programsoliditysolidity-contractsvyperwasm
  Language:HTML 758

• OCamlPro / liquidity

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

  tezosliquiditymichelsonsmart-contractsblockchainocaml
  Language:OCaml 159
• pytezos

  baking-bad / pytezos

  🐍 Python SDK for Tezos | Michelson VM in Python

  tezosrpctezos-blockchaintezos-platformtestingintegration-testingmichelsonrepl
  Language:Python 109

• hicetnunc2000 / objkt-swap

  Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.

  smart-contractmichelsontezos-blockchainatomic-swaptezos
  Language:Python 79

• bonedaddy / Tezos-Developer-Resources

  Resources for Tezos Developers

  tezosmichelsonliquiditytutorialblockchainapiresourcelist
  Language:Shell 35

• oxheadalpha / TZComet

  Contract Metadata Viewer on Tezos

  ocamltezostyxmlsmart-contractsmichelson
  Language:OCaml 25

• fab13n / lamtez

  An ML-inspired smart contract language, compiling to Tezos' Michelson VM

  tezosmichelson-vmmichelson
  Language:OCaml 22

• baking-bad / michelson-kernel

  Jupyter kernel for the Michelson language

  jupyter-kernelsmichelsonreplsmart-contractstezos
  Language:Python 18

• OCamlPro / techelson

  A test execution engine for Michelson smart contracts.

  tezosmichelsonliquiditytesting
  Language:OCaml 18

• KaroshiBee / weevil

  A debugger for Michelson

  debuggersmichelsonocamltezosemacs
  Language:OCaml 15

• mirror0000 / smart-contract-security

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

  auditdefierc20-tokensethereummichelsonnftplutusrustsecurity-auditsmart-contractssoliditysolidity-contractsvyperwasm
  Language:HTML 13

• woxjro / lltz

  LLTZ: Compiler from MLIR to Michelson

  blockchainllvmtezosmichelsontezos-blockchainmlircompilersmartcontractsweb3languageprogramming-languagerustvmstackmachine
  Language:Rust 12

• hicetnunc2000 / hicetnuncDAO

  michelson/smartpy smart contracts repository

  michelsonsmart-contracttezos
  Language:Python 9

• jansorg / tezos-intellij

  IntelliJ support for the Tezos platform. Support for Michelson for now.

  intellijintellij-supportmichelsontezostezos-intellijtezos-platform
  Language:Kotlin 9

• TheTezosCommunity / awesome-tezos

  A curated list of Tezos Ecosystem dApps, tools, and communities.

  awesomeawesome-listligomichelsonsmartpytaquitotezostezos-blockchainxtz
  8
• atomex-michelson

  atomex-me / atomex-michelson

  Atomex protocol implementation in pure Michelson

  atomic-swapdexmichelsonsmart-contractstezos
  Language:Python 7

• hicetnunc2000 / hicetnuncNFTs

  michelsonsmart-contracttezos
  7

• rnestler / michelson.vim

  An vim plugin for the Michelson smart contracts language used by tezos

  michelsontezosvim
  Language:Vim script 7

• AckeeCZ / TezosSwift

  Swift library for interacting with Tezos blockchain

  iostezosblockchainmichelsonrpcsswift
  Language:Swift 6

• lambe-lang / mitch

  Compilation of an extended lambda-calculus to Michelson

  compilerfunctional-programmingmichelson
  Language:OCaml 6
• michelson-labs

  baking-bad / michelson-labs

  🎓 Series of Jupyter notebooks for training in Tezos development & analysis

  jupyterlearningmichelsonnotebookstezos
  Language:Jupyter Notebook 5

• InvestaX / XToken.tz

  XToken.tz is a digital security token compliant with FA 1.2 token standard

  tezostaquitomichelsonflextesamochastandardjsligoligolang
  Language:Pascal 5

• Azazel-h / Interference_Simulation_System

  BMSTU Student Interference Simulation - WebApp

  bmstubmstu-iu7djangodockerdocker-composefabry-perotinterferenceinterference-graphinterferometrinterferometrymichelsonmichelson-interferometerfabry-perot-interferometer
  Language:Python 4

• wardenfinance / contracts

  Tezos smart contracts for Warden.

  tezossmart-contractsmart-contractsarchetype-langmichelson
  Language:JavaScript 2

• baking-bad / vscode-michelson-syntax

  Michelson & Morley syntax highlighting

  tezosmichelsonsyntax-highlightingvscodevscode-extensionmorley
  1

• Chain-of-Insight / uanon-contracts

  Uanon Tezos contracts

  tezostezos-blockchainmichelsonligopythonpascal
  Language:JavaScript 1

• coinless-bde / blockchain-development-environment

  An intergrated development environment specialized for the Tezos smart contract language Michelson

  tezosbdeidemichelson
  Language:TypeScript 1

• Dayveed117 / vscode-whylson-connector

  VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.

  ligolangmichelsonvscode-extension
  Language:TypeScript 1

• hicetnunc2000 / michelson-buffer

  michelsonsmart-contract
  1

• hicetnunc2000 / wuwei

  wuwei無為 price feed experiment

  blockchainchainlinkconseiljsmichelsonserverlesssoliditytezosweb3js
  Language:JavaScript 1

• LaGuer / laser-interferometry

  laserinterferometryjupyterpythonfabry-perotmichelson
  Language:Jupyter Notebook 1

• lisa-analyzer / michelson-lisa

  Michelson frontend for LiSA

  abstract-interpretationblockchainmichelsonsmart-contractsstatic-analysistezos
  Language:Java 1

• tdc-vellore / glossary

  Projects glossary for projects done by members of Tezos Developer's Community, Vellore.

  blockchainjavascriptligoligolangmichelsonnodejspythonsmart-contractssmartpytaquitotdc-velloretezostezos-blockchain
  Language:JavaScript 0

• abdellah-idris / Tezos-smart-contracts

  SmartPy smart contract development platform for the Tezos blockchain.

  michelsonsmart-contractssmartpythontezos-blockchain
  Language:Python

• azfarmasood / Shutter-Shack-Photo-Album-Gallery

  Shutter-Shack-Photo-Album-Gallery-App

  animationsdesignframer-motionintractive-componet-frontendjavascriptmichelsonnextjs14reactjstailwindcsstypescript
  Language:TypeScript

• woxjro / michelson-ast

  Michelson AST written in Rust

  astblockchainmichelsontezos
  Language:Rust