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 contains:
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.
master branch contains the latest stable release. The
branch contains the upcoming version: the language on the
branch is for experimentation, and features may be modified before the
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.