https://github.com/OCamlPro/liquidity

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
https://github.com/OCamlPro/liquidity

blockchain liquidity michelson ocaml smart-contracts tezos

Last synced: 12 days ago
JSON representation

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

• Host: GitHub
• URL: https://github.com/OCamlPro/liquidity
• Owner: OCamlPro
• License: gpl-3.0
• Created: 2017-05-31T14:10:51.000Z (over 7 years ago)
• Default Branch: next
• Last Pushed: 2021-02-24T06:57:47.000Z (over 3 years ago)
• Last Synced: 2024-08-01T15:06:50.165Z (3 months ago)
• Topics: blockchain, liquidity, michelson, ocaml, smart-contracts, tezos
• Language: OCaml
• Homepage: https://www.liquidity-lang.org
• Size: 3.54 MB
• Stars: 158
• Watchers: 18
• Forks: 33
• Open Issues: 19
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES
  • License: LICENSE

Awesome Lists containing this project

README

        
next | master

------------ | -------------

[![Travis-CI Build Status](https://travis-ci.org/OCamlPro/liquidity.svg?branch=next)](https://travis-ci.org/OCamlPro/liquidity) | [![Travis-CI Build Status](https://travis-ci.org/OCamlPro/liquidity.svg?branch=master)](https://travis-ci.org/OCamlPro/liquidity) 

![Liquidity Logo](docs/sphinx/src/liquidity-dark.svg)

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](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](docs/sphinx/src/installation/index.rst) and

[usage documentation](docs/sphinx/src/usage/index.rst).

Documentation

-------------

Documentation can be found in [the reference](docs/sphinx/src/reference/liquidity.rst)

and many examples are in the [tests](tests/) and

[tests/others](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.