Smart contract for Tezos blockchain in Fi,Michelson and Liquidity languages
-
Updated
May 28, 2019
Smart contract for Tezos blockchain in Fi,Michelson and Liquidity languages
Scripta manent
Projects glossary for projects done by members of Tezos Developer's Community, Vellore.
Tezos smart contracts for Warden.
Michelson frontend for LiSA
VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.
SmartPy smart contract development platform for the Tezos blockchain.
Shutter-Shack-Photo-Album-Gallery-App
Smart contracts of the Tezos Payments service
Compilation of an extended lambda-calculus to Michelson
A test execution engine for Michelson smart contracts.
A platform for trying Lorentz - eDSL for writing Tezos smart contracts.
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."