Search results

[Proposal] Improve Leo's binary distribution

proposalA proposal for something new.A proposal for something new.

Status: Open.

#29337 In ProvableHQ/leo;

· mitchmindtree opened on Apr 15, 2026

[Proposal] Keep track of the stub dependency graph in CompilerState

proposalA proposal for something new.A proposal for something new.

Status: Open.

#29301 In ProvableHQ/leo;

· mohammadfawaz opened on Apr 6, 2026

[Feature] Nicer syntax for querying mappings dynamically

🚀 featureA new feature.A new feature.

🧱 Core CompilerAnything related to the core compiler including parsing, analysis, transforms, codegen, etc.Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.

Status: Open.

#29294 In ProvableHQ/leo;

· AleoAlexander opened on Apr 3, 2026

[Feature] Standard Library

🚀 featureA new feature.A new feature.

Status: Open.

#29284 In ProvableHQ/leo;

· mohammadfawaz opened on Apr 1, 2026

[Feature] Leo linter

🚀 featureA new feature.A new feature.

🧹 leo lintAnything related to the Leo linterAnything related to the Leo linter

Status: Open.

#29283 In ProvableHQ/leo;

· mohammadfawaz opened on Apr 1, 2026

[Proposal] Remove the leo update subcommand

proposalA proposal for something new.A proposal for something new.

Status: Open.

#29282 In ProvableHQ/leo;

· mitchmindtree opened on Apr 1, 2026

[Feature] Leo LSP

🕹️ PlaygroundAnything related to the Leo playground site and LSP.Anything related to the Leo playground site and LSP.

🚀 featureA new feature.A new feature.

Status: Open.

#29264 In ProvableHQ/leo;

· JoshuaBatty opened on Mar 30, 2026

[Proposal] Plugin dispatch for leo subcommands

proposalA proposal for something new.A proposal for something new.

Status: Open.

#29244 In ProvableHQ/leo;

· mitchmindtree opened on Mar 26, 2026

[Bug] Issues with checking transaction status

🐛 bugSomething isn't workingSomething isn't working

Status: Open.

#29214 In ProvableHQ/leo;

· AleoAlexander opened on Mar 18, 2026

[Feature] Run frontend passes on library packages

🚀 featureA new feature.A new feature.

🧱 Core CompilerAnything related to the core compiler including parsing, analysis, transforms, codegen, etc.Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.

Status: Open.

#29211 In ProvableHQ/leo;

· mohammadfawaz opened on Mar 18, 2026

[Feature] Hexadecimal input values (0xff) rejected while other compilers accept

🖥️ CLIAnything related to the Leo CLI.Anything related to the Leo CLI.

🚀 featureA new feature.A new feature.

Status: Open.

#29205 In ProvableHQ/leo;

· chamitro opened on Mar 17, 2026

[Proposal] Independent release cadence for workspace crates

proposalA proposal for something new.A proposal for something new.

Status: Open.

#29189 In ProvableHQ/leo;

· JoshuaBatty opened on Mar 10, 2026