A Decentralized Operating System for ZK Applications

• UpdatedMar 15, 2025
• Rust

A zkVM for Decentralized Private Computations (DPC)

• UpdatedMar 17, 2025
• Rust

Javascript & Typescript SDK for Zero-Knowledge Application Development

• UpdatedMar 18, 2025
• Rust

🏎️ A curated list of Aleo & Leo code and resources 🏎️

• UpdatedDec 1, 2024

📜 A Starter Guide to Build ZK Applications 📜

• UpdatedDec 17, 2024
• Shell

📄 Documentation for Leo 🦁

• UpdatedFeb 25, 2025
• Mermaid

Aleo Request for Comments (ARCs)

• UpdatedFeb 3, 2025
• JavaScript

Open source explorer for the Aleo network

• UpdatedMar 12, 2025
• Python

Modular TypeScript wallet adapters and components for Aleo applications.

• UpdatedAug 9, 2024
• TypeScript

A Setup Ceremony for Universal SNARKs

• UpdatedJun 16, 2024
• Rust

Awesome Aleo mining and development resources maintained by MinerDAO community.

• UpdatedDec 7, 2022

MinerDAO focus on the Chinese community to research and share mining tutorial.

• UpdatedAug 7, 2023

Aleo instruction implementation of battleship on the Aleo chain.

• UpdatedSep 14, 2022

The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)

• UpdatedOct 23, 2023

Aleo prove benchmark scripts for testnet3 with GPU.

• UpdatedDec 5, 2022
• Rust

An open source, private, self-custodial wallet. Built on the Aleo network.

• UpdatedSep 20, 2024
• Rust

Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer.

• UpdatedMar 6, 2024
• Rust

Aleo analyzer and disassembler

• UpdatedFeb 28, 2023
• Python

A zk-privacy voting system built on Aleo.

• UpdatedDec 22, 2022

snops is a suite of tools that can be used to maintain Aleo network environments. The environments are defined in a manner similar to infrastructure-as-code, which means you can create repeatable infrastructure using the environment schema.

• UpdatedMar 14, 2025
• Rust