A Decentralized Operating System for ZK Applications

A Virtual Machine for Zero-Knowledge Executions

A Software Development Kit (SDK) for Zero-Knowledge Transactions

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

📜 A Starter Guide to Build ZK Applications 📜

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

Aleo Request for Comments (ARCs)

Open source explorer for the Aleo network

Modular TypeScript wallet adapters and components for Aleo applications.

A Setup Ceremony for Universal SNARKs

Awesome Aleo mining and development resources maintained by MinerDAO community.

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

Aleo instruction implementation of battleship on the Aleo chain.

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

Aleo prove benchmark scripts for testnet3 with GPU.

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

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

Aleo analyzer and disassembler

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.

A zk-privacy voting system built on Aleo.