#

michelson

Here are 43 public repositories matching this topic...

Spartan121 / TezosDeposit

Smart contract for Tezos blockchain in Fi,Michelson and Liquidity languages

liquidity fi tezos michelson tezos-blockchain

Updated May 28, 2019

KaroshiBee / weevil

A debugger for Michelson

emacs ocaml debuggers tezos michelson

Updated Aug 7, 2023
OCaml

wardenfinance / contracts

Tezos smart contracts for Warden.

smart-contracts smart-contract tezos michelson archetype-lang

Updated Jan 24, 2023
JavaScript

lisa-analyzer / michelson-lisa

Michelson frontend for LiSA

static-analysis smart-contracts blockchain abstract-interpretation tezos michelson

Updated Oct 27, 2023
Java

woxjro / michelson-ast

Michelson AST written in Rust

blockchain ast tezos michelson

Updated May 25, 2023
Rust

azfarmasood / Shutter-Shack-Photo-Album-Gallery

Shutter-Shack-Photo-Album-Gallery-App

javascript design typescript reactjs animations michelson tailwindcss framer-motion intractive-componet-frontend nextjs14

Updated Feb 20, 2024
TypeScript

LaGuer / laser-interferometry

python jupyter laser interferometry fabry-perot michelson

Updated May 9, 2019
Jupyter Notebook

rnestler / michelson.vim

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

vim tezos michelson

Updated Dec 5, 2017
Vim Script

ephel-lang / mitch

Compilation of an extended lambda-calculus to Michelson

compiler functional-programming michelson

Updated May 28, 2024
OCaml

Dayveed117 / vscode-whylson-connector

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

vscode-extension michelson ligolang

Updated Jan 3, 2023
TypeScript

abdellah-idris / Tezos-smart-contracts

SmartPy smart contract development platform for the Tezos blockchain.

smart-contracts michelson tezos-blockchain smartpython

Updated Mar 4, 2024
Python

tdc-vellore / glossary

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

nodejs javascript python smart-contracts blockchain ligo tezos michelson tezos-blockchain smartpy ligolang taquito tdc-vellore

Updated Aug 21, 2022
JavaScript

verba-volant

fulgidus / verba-volant

Scripta manent

dapp smart-contracts reasonml liquidity smart-contract tezos michelson

Updated Nov 18, 2024

coinless-bde / blockchain-development-environment

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

ide bde tezos michelson

Updated Oct 11, 2023
TypeScript

claudebarde / michelson-editor

Originate contracts on the Tezos blockchain

tezos michelson

Updated Aug 3, 2020
JavaScript

fastwaterbear / tezospayments-contracts

Smart contracts of the Tezos Payments service

smart-contracts blockchain payment payments ligo contracts tezos michelson tezos-payments tezospayments

Updated Mar 29, 2022
TypeScript

jams2blues / savetheworldwithart-frontend

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

tezos michelson onchain minting-nfts fully-on-chain savetheworldwithart

Updated Nov 17, 2024
JavaScript

Chain-of-Insight / uanon-contracts

Uanon Tezos contracts

python pascal ligo tezos michelson tezos-blockchain

Updated May 19, 2021
JavaScript

AdrienChampion / techelson

A test execution engine for Michelson smart contracts.

testing ocaml smart-contracts blockchain testing-tools tezos michelson testing-library testing-tool

Updated Mar 5, 2019
OCaml

InvestaX / XToken.tz

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

mocha ligo standardjs tezos michelson ligolang taquito flextesa

Updated Jan 24, 2023
Pascal

Improve this page

Add a description, image, and links to the michelson topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the michelson topic, visit your repo's landing page and select "manage topics."