ProvableHQ/leo

View on GitHub

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Stars: 4.8k
Forks: 716
Open beginner issues: 2
Indexed issues: 155
Avg merge: 1d 2h
Merged PRs (30d): 6

Dominant language: Rust
License: GPL-3.0
Last GitHub push: Sep 17, 2026
Latest indexed: Sep 20, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

155 open issues indexed

[Bug] External call inside a conditional branch executes unconditionally and mints a record for the untaken branch Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

ProvableHQ/leo#29630 · Opened Sep 4, 2026
[Bug] Cross-library interface checking accepts mismatched const-generic types Open

Difficulty 4/5 3-5 days Newbie friendliness 64/100

ProvableHQ/leo#29617 · 1 comment · Opened Aug 5, 2026
[Bug] LSP drops module definitions from saved source dependencies Open

Difficulty 3/5 1-2 days Newbie friendliness 75/100

ProvableHQ/leo#29616 · Opened Aug 5, 2026
[Bug] ABI misclassifies a module struct as a record Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

ProvableHQ/leo#29615 · Opened Aug 5, 2026
[Bug] Inherited interface functions cannot be used through dynamic dispatch Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

ProvableHQ/leo#29614 · Opened Aug 5, 2026
[Bug] Dynamic calls reject records from module-qualified interfaces Open

Difficulty 4/5 3-5 days Newbie friendliness 65/100

ProvableHQ/leo#29613 · Opened Aug 5, 2026
[Proposal] Comprehensive Leo CLI reliability, usability, and workflow enhancements Open

🖥️ CLI proposal

Difficulty 5/5 Over a week Newbie friendliness 25/100

ProvableHQ/leo#29602 · Opened Jul 25, 2026
[Proposal] Merkle Tree in the standard library Open

proposal

Difficulty 5/5 Over a week Newbie friendliness 35/100

ProvableHQ/leo#29600 · 1 comment · Opened Jul 24, 2026
[Docs] No error code / error reference anywhere across the docs Open

documentation

Difficulty 4/5 3-5 days Newbie friendliness 35/100

ProvableHQ/leo#29596 · Opened Jul 21, 2026
leo add: --network is a source flag, but the verification network is env-only Open

🐛 bug 🖥️ CLI

Difficulty 4/5 3-5 days Newbie friendliness 54/100

ProvableHQ/leo#29591 · Opened Jul 16, 2026
ECLI0377047: "generated invalid Aleo bytecode" for a test calling nested tuple/struct-returning functions Open

🐛 bug

ProvableHQ/leo#29586 · 1 comment · 1 assignee · Opened Jul 14, 2026
[Bug] Storage vector pop in ternary mutates unselected branch Open

Difficulty 4/5 3-5 days Newbie friendliness 55/100

ProvableHQ/leo#29567 · Opened Jul 2, 2026
[Feature] Sibling modules can't share a submodule Open

🚀 feature 🧱 Core Compiler

Difficulty 5/5 Over a week Newbie friendliness 35/100

ProvableHQ/leo#29561 · Opened Jun 29, 2026
Add IDE plugin screenshots to getting_started/ide.md Open

documentation

Difficulty 3/5 1-2 days Newbie friendliness 68/100

ProvableHQ/leo#29500 · Opened Jun 8, 2026
final fn references program-interior mappings/storage without qualification Open

🐛 bug 🧱 Core Compiler

ProvableHQ/leo#29499 · 1 assignee · Opened Jun 8, 2026
[Proposal] Introducing a Standard Library for Leo Open

proposal 🧱 Core Compiler 🧹 Code Quality

ProvableHQ/leo#29478 · 4 comments · 1 assignee · Opened Jun 2, 2026
`leo update` broken by per-crate release tags Open

🖥️ CLI

ProvableHQ/leo#29463 · 2 comments · 1 assignee · Opened May 29, 2026
[Proposal] Syntax to enable dynamic function names Open

proposal

Difficulty 5/5 Over a week Newbie friendliness 35/100

ProvableHQ/leo#29458 · Opened May 28, 2026
Update grammar and github linguist Open

documentation

Difficulty 3/5 1-2 days Newbie friendliness 35/100

ProvableHQ/leo#29448 · Opened May 22, 2026
[Feature] Leo LSP — next capabilities Open

🔌 LSP 🚀 feature

ProvableHQ/leo#29441 · 1 assignee · Opened May 21, 2026
[Docs] credits.aleo integration examples missing Final block handling Open

documentation

Difficulty 2/5 1-3 hours Newbie friendliness 58/100

ProvableHQ/leo#29424 · 1 comment · Opened May 15, 2026
[Docs] Migration Guide: Verbose Mapping syntax confuses new developers Open

documentation

Difficulty 1/5 Under an hour Newbie friendliness 85/100

ProvableHQ/leo#29423 · Opened May 15, 2026
[Bug] orphan functions exist and use undefined variables Open

🧱 Core Compiler

Difficulty 4/5 3-5 days Newbie friendliness 35/100

ProvableHQ/leo#29421 · Opened May 14, 2026
Update Limitations page to current snarkVM (consensus V14) values Open

documentation

Difficulty 2/5 1-3 hours Newbie friendliness 76/100

ProvableHQ/leo#29386 · Opened May 1, 2026
Create dedicated guide for transferring credits and using record types as input in the CLI Open

documentation

Difficulty 3/5 1-2 days Newbie friendliness 68/100

ProvableHQ/leo#29380 · Opened May 1, 2026
Track broader Leo WASM support beyond ABI-from-bytecode Open

🧱 Core Compiler

Difficulty 5/5 Over a week Newbie friendliness 25/100

ProvableHQ/leo#29371 · 1 reaction · Opened Apr 27, 2026
Figure out a way to restructure the AST around static v.s. dynamic operations Open

refactor 🧱 Core Compiler 🧹 Code Quality

Difficulty 5/5 Over a week Newbie friendliness 30/100

ProvableHQ/leo#29361 · Opened Apr 22, 2026
[Feature] Typecheck dependency libraries during build (not just primary library targets) Open

🚀 feature 🧱 Core Compiler

Difficulty 5/5 Over a week Newbie friendliness 45/100

ProvableHQ/leo#29348 · 1 comment · Opened Apr 17, 2026
[Proposal] Make Leo friendlier to WASM/browser tooling Open

proposal

ProvableHQ/leo#29347 · 1 reaction · 1 assignee · Opened Apr 17, 2026
[Bug] Unclear error when using record ciphertext as input to Leo CLI with incorrect private key Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

ProvableHQ/leo#29344 · Opened Apr 16, 2026
Collapse redundant Optional wrapping around storage vector access (option_lowering + ssa_const_propagation) Open

🚀 feature 🧱 Core Compiler

Difficulty 5/5 Over a week Newbie friendliness 25/100

ProvableHQ/leo#29343 · 7 comments · Opened Apr 16, 2026
[Proposal] Improve Leo's binary distribution Open

proposal

ProvableHQ/leo#29337 · 2 comments · 1 assignee · Opened Apr 15, 2026
[Proposal] Keep track of the stub dependency graph in `CompilerState` Open

proposal

Difficulty 4/5 3-5 days Newbie friendliness 35/100

ProvableHQ/leo#29301 · Opened Apr 6, 2026
[Feature] Leo linter Open

🚀 feature 🧹 leo lint

Difficulty 5/5 Over a week Newbie friendliness 25/100

ProvableHQ/leo#29283 · Opened Apr 1, 2026
[Proposal] Remove the `leo update` subcommand Open

proposal

Difficulty 4/5 3-5 days Newbie friendliness 52/100

ProvableHQ/leo#29282 · 1 comment · 1 reaction · Opened Apr 1, 2026
[Bug] Issues with checking transaction status Open

🐛 bug

Difficulty 4/5 3-5 days Newbie friendliness 42/100

ProvableHQ/leo#29214 · 2 comments · Opened Mar 18, 2026
[Feature] Hexadecimal input values (0xff) rejected while other compilers accept Open

🖥️ CLI 🚀 feature

Difficulty 3/5 1-2 days Newbie friendliness 48/100

ProvableHQ/leo#29205 · Opened Mar 17, 2026
[Proposal] Independent release cadence for workspace crates Open

proposal

ProvableHQ/leo#29189 · 2 reactions · 1 assignee · Opened Mar 10, 2026
[Proposal] Use nicer formatting for human-readable serialization of checksums Open

🖥️ CLI 🚀 feature proposal

Difficulty 5/5 Over a week Newbie friendliness 35/100

ProvableHQ/leo#29180 · 3 comments · Opened Mar 5, 2026
[Feature] Extend `@test` with execution environment params and state files Open

🔍 leo test 🚀 feature

Difficulty 5/5 Over a week Newbie friendliness 35/100

ProvableHQ/leo#29169 · 2 comments · Opened Mar 2, 2026
[Feature] Integrate rejection reasons into command output Open

🖥️ CLI 🚀 feature

Difficulty 4/5 3-5 days Newbie friendliness 25/100

ProvableHQ/leo#29168 · Opened Feb 28, 2026
[Testing] Investigate automated testing/linting for markdown code snippets Open

🤖 CI documentation 🧪 Testing

Difficulty 4/5 3-5 days Newbie friendliness 38/100

ProvableHQ/leo#29162 · Opened Feb 26, 2026
[Feature] Leo workspaces Open

🖥️ CLI 🚀 feature proposal tooling

ProvableHQ/leo#29140 · 2 comments · 3 reactions · 1 assignee · Opened Feb 19, 2026
[Testing] Add dedicated unit tests for parser spans Open

🧪 Testing

Difficulty 4/5 3-5 days Newbie friendliness 42/100

ProvableHQ/leo#29119 · 1 reaction · Opened Feb 11, 2026
[Feature] ABI: Add proper support for const generic structs Open

🖥️ CLI 🚀 feature 🧬 JSON ABI

ProvableHQ/leo#29079 · 1 assignee · Opened Jan 26, 2026
[Bug] Ensure valid record inclusion for leo devnode Open

🐛 bug

ProvableHQ/leo#29057 · 1 assignee · Opened Jan 7, 2026
[Bug] -`q` flag does not suppress `println` output Open

🐛 bug 🖥️ CLI

Difficulty 4/5 3-5 days Newbie friendliness 45/100

ProvableHQ/leo#29053 · Opened Dec 19, 2025
Cleanup intrinsics handling Open

🧱 Core Compiler 🧹 Code Quality

ProvableHQ/leo#29044 · 1 assignee · Opened Dec 12, 2025
Remove special accesses in favor of intrinsics Open

🚀 feature 🧱 Core Compiler

ProvableHQ/leo#29043 · 1 assignee · Opened Dec 12, 2025
Missing CLI tests Open

🖥️ CLI 🧪 Testing

ProvableHQ/leo#29041 · 1 reaction · 1 assignee · Opened Dec 10, 2025

ProvableHQ/leo

Get new issues in your inbox