leo
leo copied to clipboard
š¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
## š„ 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...
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...
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 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 {...
## š 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 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...
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...
## š 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
š„ 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
## š Bug Report (Write your description here) ## Steps to Reproduce #### Code snippet to reproduce ``` # Add code here ``` #### Stack trace & error message ```...