All Projects → OCamlPro → Liquidity

OCamlPro / Liquidity

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

Programming Languages

ocaml
1615 projects

Projects that are alternatives of or similar to Liquidity

Eth95
🛠️ A smart contract UI for your Ethereum dapp project
Stars: ✭ 139 (-3.47%)
Mutual labels:  blockchain, smart-contracts
Flow Nft
The Non-Fungible Token standard on the Flow Blockchain
Stars: ✭ 138 (-4.17%)
Mutual labels:  blockchain, smart-contracts
Remix Ide
Documentation for Remix IDE
Stars: ✭ 1,768 (+1127.78%)
Mutual labels:  blockchain, smart-contracts
Cryptocurrencyawesome
Cryptocurrency study materials resources
Stars: ✭ 118 (-18.06%)
Mutual labels:  blockchain, smart-contracts
Blockchainbooks.github.io
Blockchain Books
Stars: ✭ 139 (-3.47%)
Mutual labels:  blockchain, smart-contracts
Cx
Stars: ✭ 121 (-15.97%)
Mutual labels:  blockchain, smart-contracts
Status Network Token
Smart Contracts for the Status Contribution Period, along with Genesis and Network Tokens
Stars: ✭ 138 (-4.17%)
Mutual labels:  blockchain, smart-contracts
Learn Solidity With Examples
A repo full of smart contracts written in Solidity
Stars: ✭ 106 (-26.39%)
Mutual labels:  blockchain, smart-contracts
Your first decentralized application python
An up to date and bare minimum tutorial on deploying smart contracts with python
Stars: ✭ 132 (-8.33%)
Mutual labels:  blockchain, smart-contracts
Hashed Timelock Contract Ethereum
Hashed Timelock Contracts for ETH, ERC20 and ERC721 on Ethereum
Stars: ✭ 128 (-11.11%)
Mutual labels:  blockchain, smart-contracts
Oasis Core
Performant and Confidentiality-Preserving Smart Contracts + Blockchains
Stars: ✭ 113 (-21.53%)
Mutual labels:  blockchain, smart-contracts
Alpha Wallet Android
An advanced Ethereum mobile wallet
Stars: ✭ 133 (-7.64%)
Mutual labels:  blockchain, smart-contracts
Ergo
The Language for Smart Legal Contracts
Stars: ✭ 108 (-25%)
Mutual labels:  blockchain, smart-contracts
Peatiocryptoexchange
An open-source Crypto-Currency exchange. Peatio v3.0 Coming Soon !
Stars: ✭ 141 (-2.08%)
Mutual labels:  blockchain, smart-contracts
Truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
Stars: ✭ 11,909 (+8170.14%)
Mutual labels:  blockchain, smart-contracts
Ion
General interoperability framework for trustless cross-system interaction
Stars: ✭ 122 (-15.28%)
Mutual labels:  blockchain, smart-contracts
Coco
The fastest crypto online
Stars: ✭ 103 (-28.47%)
Mutual labels:  blockchain, smart-contracts
Smart Contract Sanctuary
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
Stars: ✭ 99 (-31.25%)
Mutual labels:  blockchain, smart-contracts
Mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Stars: ✭ 1,968 (+1266.67%)
Mutual labels:  blockchain, smart-contracts
Flow Js Sdk
Tools for building browser applications on Flow 🌊
Stars: ✭ 134 (-6.94%)
Mutual labels:  blockchain, smart-contracts
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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].