Repositories list

• aleo-linguist

  Public
  TypeScript

  •

  Apache License 2.0

  •11 fork•33 stars•00 issues•11 pull request•Updated Apr 22, 2026Apr 22, 2026

• leo-linguist

  Public
  TypeScript

  •

  Apache License 2.0

  •22 forks•33 stars•00 issues•11 pull request•Updated Apr 22, 2026Apr 22, 2026

• nemean

  Public
  Go

  •

  GNU General Public License v3.0

  •1111 forks•88 stars•00 issues•33 pull requests•Updated Apr 22, 2026Apr 22, 2026

• aleo-dev-toolkit

  Public

  ProvableHQ/aleo-dev-toolkit’s past year of commit activity
  The Aleo developer toolkit (wallet adaptor, hooks packages)

  TypeScript

  •

  GNU General Public License v3.0

  •11 fork•44 stars•11 issue•44 pull requests•Updated Apr 22, 2026Apr 22, 2026

• snarkVM

  Public

  ProvableHQ/snarkVM’s past year of commit activity
  A zkVM for Decentralized Private Computations (DPC)

  rustcryptographyblockchain+ 3

  rustcryptographyblockchainzero-knowledgezkpaleo

  Rust

  •

  Apache License 2.0

  •1.5k1.5k forks•1.2k1.2k stars•121121 issues•6868 pull requests•Updated Apr 22, 2026Apr 22, 2026

• leo

  Public

  ProvableHQ/leo’s past year of commit activity
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

  programming-languagecompilerleo+ 2

  programming-languagecompilerleozero-knowledgezksnarks

  Rust

  •

  GNU General Public License v3.0

  •711711 forks•4.8k4.8k stars•169169 issues•88 pull requests•Updated Apr 22, 2026Apr 22, 2026

• snarkOS

  Public

  ProvableHQ/snarkOS’s past year of commit activity
  A Decentralized Operating System for ZK Applications

  rustcryptographyblockchain+ 3

  rustcryptographyblockchainzero-knowledgezksnarksaleo

  Rust

  •

  Apache License 2.0

  •2.7k2.7k forks•4.5k4.5k stars•7373 issues•3232 pull requests•Updated Apr 22, 2026Apr 22, 2026

• leo-lsp-clients

  Public
  IDE integrations and language server clients for the Leo programming language.

  JavaScript

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• compliant-stablecoin

  Public

  ProvableHQ/compliant-stablecoin’s past year of commit activity
  Leo

  •

  GNU General Public License v3.0

  •11 fork•33 stars•00 issues•22 pull requests•Updated Apr 22, 2026Apr 22, 2026

• leo-docs-source

  Public

  ProvableHQ/leo-docs-source’s past year of commit activity
  📄 Documentation for Leo 🦁

  blockchainleozero-knowledge+ 2

  blockchainleozero-knowledgezksnarksaleo

  Mermaid

  •

  GNU General Public License v3.0

  •221221 forks•331331 stars•1717 issues•1212 pull requests•Updated Apr 21, 2026Apr 21, 2026

• leo.nix

  Public

  ProvableHQ/leo.nix’s past year of commit activity
  A Nix flake for the Leo language.

  Nix

  •00 forks•22 stars•33 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• sdk

  Public

  ProvableHQ/sdk’s past year of commit activity
  Javascript & Typescript SDK for Zero-Knowledge Application Development

  nodejsjavascripttypescript+ 6

  nodejsjavascripttypescriptsdkblockchainwasmzero-knowledgezksnarksaleo

  TypeScript

  •

  GNU General Public License v3.0

  •486486 forks•629629 stars•2020 issues•1818 pull requests•Updated Apr 20, 2026Apr 20, 2026

• leo-examples

  Public

  ProvableHQ/leo-examples’s past year of commit activity
  Leo

  •88 forks•99 stars•77 issues•77 pull requests•Updated Apr 16, 2026Apr 16, 2026

• aleo-forked-demox

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

  Rust

  •

  GNU General Public License v3.0

  •486486 forks•44 stars•00 issues•1313 pull requests•Updated Apr 14, 2026Apr 14, 2026

• leo-mobile

  Public
  TypeScript

  •

  MIT License

  •11 fork•66 stars•00 issues•11 pull request•Updated Apr 8, 2026Apr 8, 2026

• ARCs

  Public
  Aleo Request for Comments (ARCs)

  rfcsaleo

  rfcsaleo

  JavaScript

  •

  Apache License 2.0

  •268268 forks•232232 stars•00 issues•66 pull requests•Updated Apr 7, 2026Apr 7, 2026

• snarkVM-forked-demox

  Public
  A Virtual Machine for Zero-Knowledge Executions

  Rust

  •

  Apache License 2.0

  •1.5k1.5k forks•00 stars•00 issues•55 pull requests•Updated Mar 31, 2026Mar 31, 2026

• dynamic-dispatch-example

  Public
  An example on how to use dynamic dispatch from Leo and the SDK.

  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 31, 2026Mar 31, 2026

• aleo-wallet-adapter

  Public
  Modular TypeScript wallet adapters and components for Aleo applications.

  reacttypescriptcrypto+ 4

  reacttypescriptcryptoblockchaincryptocurrencywalletaleo

  TypeScript

  •

  MIT License

  •5151 forks•9393 stars•1717 issues•88 pull requests•Updated Mar 26, 2026Mar 26, 2026

• aleo-hd-key

  Public
  TypeScript

  •

  MIT License

  •00 forks•88 stars•00 issues•88 pull requests•Updated Mar 5, 2026Mar 5, 2026

• pondo-programs

  Public
  TypeScript

  •3333 forks•2626 stars•00 issues•99 pull requests•Updated Feb 17, 2026Feb 17, 2026

• aleo-standard-programs-pondo

  Public
  TypeScript

  •00 forks•11 star•00 issues•88 pull requests•Updated Feb 13, 2026Feb 13, 2026

• zk-auction-example

  Public
  JavaScript

  •11 fork•22 stars•00 issues•77 pull requests•Updated Feb 11, 2026Feb 11, 2026

• leo-wallet-demo

  Public
  TypeScript

  •1414 forks•1818 stars•00 issues•66 pull requests•Updated Feb 10, 2026Feb 10, 2026

• aleo-key-gen

  Public
  Rust

  •

  MIT License

  •00 forks•11 star•00 issues•33 pull requests•Updated Feb 3, 2026Feb 3, 2026

• provablehq.github.io

  Public
  33 forks•33 stars•00 issues•00 pull requests•Updated Jan 21, 2026Jan 21, 2026

• hyperlane-aleo

  Public
  Python

  •

  Apache License 2.0

  •55 forks•00 stars•00 issues•11 pull request•Updated Dec 10, 2025Dec 10, 2025

• aleo-std

  Public
  Rust

  •

  Apache License 2.0

  •3737 forks•2020 stars•00 issues•00 pull requests•Updated Nov 10, 2025Nov 10, 2025

• varuna-sage-impl

  Public
  A SageMath implementation of the Varuna zkSNARK.

  Sage

  •33 forks•66 stars•11 issue•00 pull requests•Updated Oct 2, 2025Oct 2, 2025

• afl_program_tools

  Public
  Fuzzing tools for the AleoVM

  Rust

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 15, 2025Sep 15, 2025