michelson

Here are 4 public repositories matching this topic...

Smart contracts of the Tezos Payments service

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

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

vscode-extension michelson ligolang

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

ide bde tezos michelson

Shutter-Shack-Photo-Album-Gallery-App

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

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