Skip to content
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
OCaml C Shell Other
Branch: next
Clone or download

Latest commit

Latest commit ee4f270 May 29, 2020

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
docs/sphinx
dune-network @ 3c6e59a
libs
misc
scripts
tests
tools
travis-scripts
.gitignore
.gitmodules
.travis.yml
CHANGES
LICENSE
Makefile
README.md
STATUS.txt
build.ocp2
opam

README.md

next master
Travis-CI Build Status Travis-CI Build Status

Liquidity Logo

Liquidity: a Smart Contract Language for Dune Network

Liquidity is a language to program Smart Contracts for Dune Network (and Tezos). It uses the syntax of OCaml (and ReasonML), and strictly complies to Michelson security restrictions. Liquidity is distributed under the terms of the GPLv3 license.

The Liquidity Project

The Liquidity project contains:

  • A compiler from Liquidity files (.liq extension) to Michelson
  • A de-compiler from Michelson files (.tz extension) to Liquidity
  • A Tezos client to deploy and interact with Liquidity contracts

The Liquidity Language

The Liquidity language provides the following features:

  • Full coverage of the Michelson language: anything that can be written in Michelson can be written in Liquidity.

  • Local variables instead of stack manipulations: values can be stored in local variables.

  • High-level types: types like sum-types and record-types can be defined and used in Liquidity programs.

Branches

The master branch contains the latest stable release. The next branch contains the upcoming version: the language on the next branch is for experimentation, and features may be modified before the next release.

Installation and Usage

See installation instructions and usage documentation.

Documentation

Documentation can be found in the reference and many examples are in the tests and tests/others directories.

Status

All features of Michelson are supported in Liquidity. All tests from https://github.com/dune-network/dune-network/tree/mainnet/test/contracts can be decompiled to Liquidity and recompiled to Michelson.

You can’t perform that action at this time.