{"id":28615551,"url":"https://github.com/ocamlpro/liquidity","last_synced_at":"2025-06-12T02:09:22.758Z","repository":{"id":54322219,"uuid":"92952765","full_name":"OCamlPro/liquidity","owner":"OCamlPro","description":"A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson","archived":false,"fork":false,"pushed_at":"2021-02-24T06:57:47.000Z","size":3714,"stargazers_count":157,"open_issues_count":19,"forks_count":33,"subscribers_count":16,"default_branch":"next","last_synced_at":"2025-03-26T00:35:53.631Z","etag":null,"topics":["blockchain","liquidity","michelson","ocaml","smart-contracts","tezos"],"latest_commit_sha":null,"homepage":"https://www.liquidity-lang.org","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/OCamlPro.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2017-05-31T14:10:51.000Z","updated_at":"2025-02-07T09:48:05.000Z","dependencies_parsed_at":"2022-08-13T12:00:44.215Z","dependency_job_id":null,"html_url":"https://github.com/OCamlPro/liquidity","commit_stats":null,"previous_names":[],"tags_count":10,"template":false,"template_full_name":null,"purl":"pkg:github/OCamlPro/liquidity","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Fliquidity","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Fliquidity/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Fliquidity/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Fliquidity/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/OCamlPro","download_url":"https://codeload.github.com/OCamlPro/liquidity/tar.gz/refs/heads/next","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Fliquidity/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259382322,"owners_count":22848842,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["blockchain","liquidity","michelson","ocaml","smart-contracts","tezos"],"created_at":"2025-06-12T02:09:21.834Z","updated_at":"2025-06-12T02:09:22.736Z","avatar_url":"https://github.com/OCamlPro.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":"next | master\n------------ | -------------\n[![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) \n\n![Liquidity Logo](docs/sphinx/src/liquidity-dark.svg)\n\nLiquidity: a Smart Contract Language for Dune Network\n==============================================\n\nLiquidity is a language to program Smart Contracts for Dune Network\n(and Tezos). It uses the syntax of OCaml (and ReasonML), and strictly\ncomplies to Michelson security restrictions. Liquidity is distributed\nunder the terms of the [GPLv3 license](LICENSE).\n\nThe Liquidity Project\n---------------------\n\nThe Liquidity project contains:\n* A compiler from Liquidity files (.liq extension) to Michelson\n* A de-compiler from Michelson files (.tz extension) to Liquidity\n* A Tezos client to deploy and interact with Liquidity contracts\n\nThe Liquidity Language\n----------------------\n\nThe Liquidity language provides the following features:\n\n* Full coverage of the Michelson language: anything that can be written in\n  Michelson can be written in Liquidity.\n\n* Local variables instead of stack manipulations: values can be stored\n  in local variables.\n\n* High-level types: types like sum-types and record-types can be defined\n  and used in Liquidity programs.\n\nBranches\n--------\n\nThe `master` branch contains the latest stable release. The `next`\nbranch contains the upcoming version: the language on the `next`\nbranch is for experimentation, and features may be modified before the\nnext release.\n\n\nInstallation and Usage\n----------------------\n\nSee [installation instructions](docs/sphinx/src/installation/index.rst) and\n[usage documentation](docs/sphinx/src/usage/index.rst).\n\nDocumentation\n-------------\n\nDocumentation can be found in [the reference](docs/sphinx/src/reference/liquidity.rst)\nand many examples are in the [tests](tests/) and\n[tests/others](tests/others/) directories.\n\nStatus\n------\n\nAll features of Michelson are supported in Liquidity. All tests from\nhttps://github.com/dune-network/dune-network/tree/mainnet/test/contracts can be\ndecompiled to Liquidity and recompiled to Michelson.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Focamlpro%2Fliquidity","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Focamlpro%2Fliquidity","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Focamlpro%2Fliquidity/lists"}