{"adoption": {"forks": 716, "observed_at": "2026-08-28T04:09:00.533560+00:00", "stars": 4821}, "canonical_url": "https://ross.abutalabs.com/products/leo", "card": {"archived": false, "artifact_type": "cli-tool", "description": "🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications", "domain": ["programming-languages", "blockchain", "developer-tools", "privacy"], "enriched": true, "function": ["programming-language", "compiler", "cli", "testing", "cryptography"], "health_score": 99, "homepage": "https://leo-lang.org/", "language": "Rust", "license": "GPL-3.0", "license_family": "copyleft", "maturity": "active", "member_repos": ["ProvableHQ/leo"], "name": "ProvableHQ/leo", "platform": ["windows", "rust", "cli"], "pushed_at": "2026-08-19T18:28:10+00:00", "repo": "ProvableHQ/leo", "stars": 4821, "tags": ["zero-knowledge", "zk-snarks", "aleo", "statically-typed", "private-applications", "lsp", "formatter", "cryptography", "linux", "macos"], "topics": ["programming-language", "zero-knowledge", "compiler", "zksnarks", "leo"], "urls": [], "use_cases": ["write zero-knowledge applications", "compile programs to zk circuits", "build private apps on the Aleo blockchain", "learn a zero-knowledge programming language", "test and format Leo smart programs", "develop privacy-preserving blockchain contracts"], "what_it_is": "Leo is an imperative, statically-typed programming language for writing zero-knowledge applications that compile to circuits for the Aleo blockchain. It ships as a Rust-based toolchain including a compiler, CLI, formatter, and language server, with unit and integration testing support.", "when_to_avoid": ["you need a general-purpose programming language outside zero-knowledge contexts", "you target blockchains other than Aleo", "you need a fully stable language, since Leo is still subject to breaking changes"], "when_to_choose": ["you are building private, zero-knowledge applications on Aleo", "you want a high-level language that abstracts circuit and cryptographic details", "you need tooling like LSP, formatter, and tests for zk development"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/leo", "repo": "ProvableHQ/leo", "role": "main", "score": 98}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:09:00.533560+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:18:31.830483+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1a2ae09ebea741f49c8e3b668d09135ac64f3308c8ba35adfb3480462af04794", "fetched_at": "2026-08-28T04:09:00.533560+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/leo"}, {"content_hash": "87405bc538d53cce965a540f1462ebea72c3aa84f8c2d76a6e1eca8f2548fc51", "fetched_at": "2026-08-29T09:01:27.778956+00:00", "kind": "homepage", "missing": false, "url": "https://leo-lang.org/"}, {"content_hash": "0067a627d371f869cffefb9082583d18e1fe3ac881112de6df2f429c593b460c", "fetched_at": "2026-08-29T09:01:27.781690+00:00", "kind": "site_page", "missing": false, "url": "https://docs.leo-lang.org"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 98, "longevity": 100, "rhythm": 98}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 2367, "days_push": 14, "days_rel": 14, "gap_med": 5.0, "n_releases_24m": 49}, "score": 98, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}