leo icon indicating copy to clipboard operation
leo copied to clipboard

šŸ¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Results 555 leo issues
Sort by recently updated
recently updated
newest added

## šŸ’„ Proposal Based on the research insights and recommendations from the [Leo Setup and Installation Research Insights Report](https://bead-rocket-066.notion.site/Leo-Setup-and-Installation-Research-Insights-Report-6fa562c110b74f2e94f9f6e09fe8b00e?pvs=4), I propose the following updates and improvements to the Leo installation...

proposal

We need to implement Apple's code-signing and notarization process in the Leo MacOS build script. This is necessary to ensure that developers can install Leo without encountering the "this package...

proposal

In order to streamline the installation process and provide a more consistent experience for users, we propose deprecating any other installation options mentioned in our guides and updating them to...

proposal

## šŸ’„ Proposal To support functionality, such as bounded recursion, and generalized algorithms, I propose adding the following notation in Leo for generics/macros: ```js function double[i](sum: u32) -> u32 {...

feature

## šŸ“š Documentation Contributed before the deadline - on Nov 12 Link to the original issue: https://github.com/AleoHQ/leo/issues/5541 Issue was closed by Aleo team member / contributor - aharshbe - on...

documentation

## šŸ“š Documentation Contributed before the deadline - on Nov 11 Link to the original issue: https://github.com/AleoHQ/leo/issues/5300 Issue was closed by Aleo team member / contributor - aharshbe - on...

documentation

Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.79 to 1.0.81. Release notes Sourced from anyhow's releases. 1.0.81 Make backtrace support available when using -Dwarnings (#354) 1.0.80 Fix unused_imports warnings when compiled by rustc 1.78...

dependencies

## šŸ“š Documentation Hi Aleo team! Iā€™m claiming my contributor badge for completing the New Developer Toolkit tutorial. Tutorial Repo: [](https://github.com/shonya7/tictactoe) Requested badge: tutorial

documentation

šŸ„‡ Leo Contributor Badge Hi Aleo team! I'm claiming my contributor badge for completing a developer tutorial. šŸ˜€ Github Username: yeahboxi Tutorial Repo: https://github.com/yeahboxi/aleo_aww.git Requested badge: Tutorial

conreq

## šŸ› Bug Report (Write your description here) ## Steps to Reproduce #### Code snippet to reproduce ``` # Add code here ``` #### Stack trace & error message ```...

bug