[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-5749":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":15,"contributorsCount":16,"subscribersCount":16,"size":16,"stars1d":17,"stars7d":18,"stars30d":19,"stars90d":16,"forks30d":16,"starsTrendScore":20,"compositeScore":21,"rankGlobal":10,"rankLanguage":10,"license":22,"archived":23,"fork":23,"defaultBranch":24,"hasWiki":25,"hasPages":25,"topics":26,"createdAt":10,"pushedAt":10,"updatedAt":31,"readmeContent":32,"aiSummary":33,"trendingCount":16,"starSnapshotCount":16,"syncStatus":34,"lastSyncTime":35,"discoverSource":36},5749,"leo","ProvableHQ\u002Fleo","ProvableHQ","🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications","https:\u002F\u002Fleo-lang.org\u002F",null,"Rust",4820,719,39,178,0,3,6,10,9,70.57,"GNU General Public License v3.0",false,"master",true,[27,5,28,29,30],"compiler","programming-language","zero-knowledge","zksnarks","2026-06-12 04:00:26","\u003Cp align=\"center\">\n    \u003Cimg alt=\"leo\" width=\"1412\" src=\".resources\u002Fleo-banner.png\">\n\u003C\u002Fp>\n\n\u003Ch1 align=\"center\">The Leo Programming Language\u003C\u002Fh1>\n\n\u003Cp align=\"center\">\n    \u003Ca href=\"https:\u002F\u002Fcrates.io\u002Fcrates\u002Fleo-lang\">\n        \u003Cimg src=\"https:\u002F\u002Fimg.shields.io\u002Fcrates\u002Fv\u002Fleo-lang?style=flat-square\"\u002F>\n    \u003C\u002Fa>\n    \u003Ca href=\"https:\u002F\u002Fcircleci.com\u002Fgh\u002FProvableHQ\u002Fleo\">\n        \u003Cimg src=\"https:\u002F\u002Fcircleci.com\u002Fgh\u002FProvableHQ\u002Fleo.svg?style=svg&circle-token=00960191919c40be0774e00ce8f7fa1fcaa20c00\">\n    \u003C\u002Fa>\n    \u003Ca href=\"https:\u002F\u002Fdiscord.gg\u002Faleo\">\n        \u003Cimg src=\"https:\u002F\u002Fimg.shields.io\u002Fdiscord\u002F700454073459015690?logo=discord\"\u002F>\n    \u003C\u002Fa>\n    \u003Ca href=\"https:\u002F\u002Ftwitter.com\u002FProvableHQ\">\n        \u003Cimg src=\"https:\u002F\u002Fimg.shields.io\u002Ftwitter\u002Ffollow\u002FProvableHQ?style=social\"\u002F>\n    \u003C\u002Fa>\n\u003C\u002Fp>\n\u003Cdiv id=\"top\">\u003C\u002Fdiv>\nLeo is an imperative, statically-typed programming language built for writing private applications.\n\n## \u003Ca name='TableofContents'>\u003C\u002Fa>Table of Contents\n\n* [🍎 Overview](#-overview)\n* [⚙️️ Build Guide](#-build-guide)\n    * [🦀 Install Rust](#-install-rust)\n    * [📦 Download using Cargo](#-download-using-cargo)\n    * [🐙 Build from Source Code](#-build-from-source-code)\n    * [🦁 Update from Leo](#-update-from-leo)\n* [🚀 Quick Start](#-quick-start)\n* [🧰 Troubleshooting](#-troubleshooting)\n* [📖 Documentation](#-documentation)\n* [🤝 Contributing](#-contributing)\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:\u002F\u002Fleo-lang.org\u002F).\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:\u002F\u002Fwww.rustup.rs\u002F). You can install `rustup` as follows:\n\n- macOS or Linux:\n  ```bash\n  curl --proto '=https' --tlsv1.2 -sSf https:\u002F\u002Fsh.rustup.rs | sh\n  ```\n\n- Windows (64-bit):\n\n  Download the [Windows 64-bit executable](https:\u002F\u002Fwin.rustup.rs\u002Fx86_64) and follow the on-screen instructions.\n\n- Windows (32-bit):\n\n  Download the [Windows 32-bit executable](https:\u002F\u002Fwin.rustup.rs\u002Fi686) and follow the on-screen instructions.\n\n### 📦 Download using Cargo\n\nIf you don't intend to work on the Leo compiler itself, you can install the latest Leo release with:\n\n```bash\ncargo install leo-lang leo-fmt\n```\n\nNow to use leo, in your terminal, run:\n```bash\nleo\n```\n\n### 🐙 Build from Source Code\n\nIf you'd like to install the latest unreleased top of tree Leo, you can build from source code\nas follows:\n\n```bash\n# Download the source code\ngit clone https:\u002F\u002Fgithub.com\u002FProvableHQ\u002Fleo\ncd leo\n\n# Install 'leo' and bundled plugins\ncargo install --path crates\u002Fleo\ncargo install --path crates\u002Ffmt\n```\n\n### 🦁 Update from Leo\n\nYou can update Leo and its plugins to the latest released version using the\nfollowing command:\n\n```bash\nleo update\n```\n\nNote that if you were using a prerelease version of Leo, this will overwrite\nthat with the latest released version.\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 & setup & prove & 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\u002Ftroubleshooting.md).\n\nIf the issue still persists, please [open an issue](https:\u002F\u002Fgithub.com\u002FProvableHQ\u002Fleo\u002Fissues\u002Fnew\u002Fchoose).\n\n## 📖 Documentation\n\n* [Leo ABNF Grammar](https:\u002F\u002Fgithub.com\u002FProvableHQ\u002Fgrammars\u002Fblob\u002Fmaster\u002Fleo.abnf)\n* [Homepage](https:\u002F\u002Fdocs.leo-lang.org\u002F)\n\n## 🤝 Contributing\n\nPlease see our guidelines in the [developer documentation](.\u002FCONTRIBUTING.md)\n\n## 🛡️ License\n[![License: GPL v3](https:\u002F\u002Fimg.shields.io\u002Fbadge\u002FLicense-GPLv3-blue.svg)](.\u002FLICENSE.md)\n\n\u003Cp align=\"right\">\u003Ca href=\"#top\">🔼 Back to top\u003C\u002Fa>\u003C\u002Fp>\n","Leo 是一种用于编写正式验证和零知识应用的编程语言。它提供了一种高级语言，能够抽象低级加密概念，使得将私有应用程序集成到现有技术栈中变得简单。Leo 采用 Rust 语言开发，编译成电路以实现零知识证明的实用性，并且其语法受到 JavaScript、Scala 和 Rust 等传统编程语言的影响，强调可读性和易用性。此外，Leo 还为开发者提供了单元测试、集成测试以及控制台函数等工具来检查电路的正确性。该语言特别适合于需要高度隐私保护的应用场景，如区块链上的匿名交易处理或敏感数据的安全计算。",2,"2026-06-11 03:04:57","top_language"]