{"id":15039035,"url":"https://github.com/provablehq/leo","last_synced_at":"2025-05-13T20:05:43.794Z","repository":{"id":37095025,"uuid":"246203444","full_name":"ProvableHQ/leo","owner":"ProvableHQ","description":"🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications","archived":false,"fork":false,"pushed_at":"2025-05-06T01:16:06.000Z","size":177640,"stargazers_count":4827,"open_issues_count":112,"forks_count":669,"subscribers_count":39,"default_branch":"mainnet","last_synced_at":"2025-05-06T19:52:07.282Z","etag":null,"topics":["compiler","leo","programming-language","zero-knowledge","zksnarks"],"latest_commit_sha":null,"homepage":"https://leo-lang.org/","language":"Rust","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/ProvableHQ.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":"SECURITY.md","support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2020-03-10T03:54:41.000Z","updated_at":"2025-05-04T10:10:37.000Z","dependencies_parsed_at":"2022-07-09T13:47:28.836Z","dependency_job_id":"cb512697-9ec6-48e8-be55-7f4672d5c8e5","html_url":"https://github.com/ProvableHQ/leo","commit_stats":{"total_commits":5515,"total_committers":61,"mean_commits":90.40983606557377,"dds":0.7523118766999093,"last_synced_commit":"402a8e4015713b90e606d3c2d74cff864540a4f0"},"previous_names":["provablehq/leo","aleohq/leo"],"tags_count":47,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ProvableHQ%2Fleo","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ProvableHQ%2Fleo/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ProvableHQ%2Fleo/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ProvableHQ%2Fleo/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ProvableHQ","download_url":"https://codeload.github.com/ProvableHQ/leo/tar.gz/refs/heads/mainnet","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254020478,"owners_count":22000750,"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":["compiler","leo","programming-language","zero-knowledge","zksnarks"],"created_at":"2024-09-24T20:41:20.972Z","updated_at":"2025-05-13T20:05:43.766Z","avatar_url":"https://github.com/ProvableHQ.png","language":"Rust","readme":"\u003c!--p align=\"center\"\u003e\n     \u003cimg width=\"1412\" src=\"https://cdn.aleo.org/leo/banner.png\"\u003e\n\u003c/p--\u003e\n\n\u003ch1 align=\"center\"\u003eThe Leo Programming Language\u003c/h1\u003e\n\n\u003cp align=\"center\"\u003e\n    \u003ca href=\"https://circleci.com/gh/ProvableHQ/leo\"\u003e\u003cimg src=\"https://circleci.com/gh/ProvableHQ/leo.svg?style=svg\u0026circle-token=00960191919c40be0774e00ce8f7fa1fcaa20c00\"\u003e\u003c/a\u003e\n    \u003ca href=\"https://discord.gg/aleo\"\u003e\u003cimg src=\"https://img.shields.io/discord/700454073459015690?logo=discord\"/\u003e\u003c/a\u003e\n    \u003ca href=\"https://github.com/ProvableHQ/leo/blob/mainnet/CONTRIBUTORS.md\"\u003e\u003cimg src=\"https://img.shields.io/badge/contributors-393-ee8449\"/\u003e\u003c/a\u003e\n     \u003ca href=\"https://twitter.com/ProvableHQ\"\u003e\u003cimg src=\"https://img.shields.io/twitter/follow/ProvableHQ?style=social\"/\u003e\u003c/a\u003e\n\u003c/p\u003e\n\u003cdiv id=\"top\"\u003e\u003c/div\u003e\nLeo is an imperative, statically-typed programming language built for writing private applications.\n\n## \u003ca name='TableofContents'\u003e\u003c/a\u003eTable of Contents\n\n* [🍎 Overview](#-overview)\n* [⚙️️ Build Guide](#-build-guide)\n    * [🦀 Install Rust](#-install-rust)\n    * [🐙 Build from Source Code](#-build-from-source-code)\n    * [🦁 Update from Leo](#-update-from-leo)\n    * [📦 Download using Cargo](#-download-using-cargo)\n* [🚀 Quick Start](#-quick-start)\n* [🧰 Troubleshooting](#-troubleshooting)\n* [📖 Documentation](#-documentation)\n* [🤝 Contributing](#-contributing)\n* [❤️ Contributors](#-contributors)\n* [🛡️ License](#-license)\n\n\n## 🍎 Overview\n\nWelcome to the Leo programming language.\n\nLeo provides a high-level language that abstracts low-level cryptographic concepts and makes it easy to \nintegrate private applications into your stack. Leo compiles to circuits making zero-knowledge proofs practical.\n\nThe syntax of Leo is influenced by traditional programming languages like JavaScript, Scala, and Rust, with a strong emphasis on readability and ease-of-use.\nLeo offers developers with tools to sanity check circuits including unit tests, integration tests, and console functions.\n\nLeo is one part of a greater ecosystem for building private applications on [Aleo](https://leo-lang.org/). \nThe language is currently in an alpha stage and is subject to breaking changes.\n\n## ⚙️️ Build Guide \n\n### 🦀 Install Rust\n\nWe recommend installing Rust using [rustup](https://www.rustup.rs/). You can install `rustup` as follows:\n\n- macOS or Linux:\n  ```bash\n  curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh\n  ```\n\n- Windows (64-bit):  \n  \n  Download the [Windows 64-bit executable](https://win.rustup.rs/x86_64) and follow the on-screen instructions.\n\n- Windows (32-bit):  \n  \n  Download the [Windows 32-bit executable](https://win.rustup.rs/i686) and follow the on-screen instructions.\n\n### 🐙 Build from Source Code\n\nWe recommend installing Leo by building from the source code as follows:\n\n```bash\n# Download the source code\ngit clone https://github.com/ProvableHQ/leo\ncd leo\n\n# Install 'leo'\ncargo install --path .\n```\n\nNow to use leo, in your terminal, run:\n```bash\nleo\n```\n\n### 🦁 Update from Leo\n\nYou can update Leo to the latest version using the following command:\n\n```bash\nleo update\n```\nNow to check the version of leo, in your terminal, run:\n```bash\nleo --version\n```\n\n## 🚀 Quick Start\n\nUse the Leo CLI to create a new project\n\n```bash\n# create a new `hello-world` Leo project\nleo new helloworld\ncd helloworld\n\n# build \u0026 setup \u0026 prove \u0026 verify\nleo run main 0u32 1u32\n```\n\nThe `leo new` command creates a new Leo project with a given name.\n\nThe `leo run` command will compile the program into Aleo instructions and run it.\n\nCongratulations! You've just run your first Leo program.\n\n## 🧰 Troubleshooting\nIf you are having trouble installing and using Leo, please check out our [guide](docs/troubleshooting.md).\n\nIf the issue still persists, please [open an issue](https://github.com/ProvableHQ/leo/issues/new/choose).\n\n## 📖 Documentation\n\n* [Leo ABNF Grammar](https://github.com/ProvableHQ/grammars/blob/master/leo.abnf)\n* [Homepage](https://docs.leo-lang.org/)\n\n## 🤝 Contributing\n \nPlease see our guidelines in the [developer documentation](./CONTRIBUTING.md)\n\n\n## ❤️ Contributors\n\nThe list of contributors has been moved to a separate repository.\nView all Leo contributors [here](https://github.com/ProvableHQ/leo-contributors/blob/master/CONTRIBUTORS.md).\n\n## 🛡️ License\n[![License: GPL v3](https://img.shields.io/badge/License-GPLv3-blue.svg)](./LICENSE.md)\n\n\u003cp align=\"right\"\u003e\u003ca href=\"#top\"\u003e🔼 Back to top\u003c/a\u003e\u003c/p\u003e\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fprovablehq%2Fleo","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fprovablehq%2Fleo","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fprovablehq%2Fleo/lists"}