ProvableHQ/leo-docs-source external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ProvableHQ/leo-docs-source

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ProvableHQ/leo-docs-source)

Close

ProvableHQ / leo-docs-sourceView on GitHubMore

• External links
• Readme badge

📄 Documentation for Leo 🦁

☆331Mar 17, 2026Updated this week

Alternatives and similar repositories for leo-docs-source

Users that are interested in leo-docs-source are comparing it to the libraries listed below

• ProvableHQ / ARCs

  View on GitHub
  Aleo Request for Comments (ARCs)
  ☆232Updated this week
• AleoNet / aleo-setup

  View on GitHub
  A Setup Ceremony for Universal SNARKs
  ☆82Jun 16, 2024Updated last year
• ProvableHQ / aleo-std

  View on GitHub
  ☆20Nov 10, 2025Updated 4 months ago
• ProvableHQ / grammars

  View on GitHub
  Grammar specifications for languages and formats in the Aleo ecosystem.
  ☆19Aug 13, 2025Updated 7 months ago
• ProvableHQ / sdk

  View on GitHub
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆626Updated this week
• howardwu / awesome-aleo

  View on GitHub
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆391Sep 6, 2025Updated 6 months ago
• AleoNet / aleo-education

  View on GitHub
  Aleo Education
  ☆256Jun 18, 2024Updated last year
• ProvableHQ / aleo-js

  View on GitHub
  ☆22Jan 18, 2024Updated 2 years ago
• ProvableHQ / snarkVM

  View on GitHub
  A zkVM for Decentralized Private Computations (DPC)
  ☆1,154Updated this week
• ProvableHQ / workshop

  View on GitHub
  📜 A Starter Guide to Build ZK Applications 📜
  ☆341Dec 17, 2024Updated last year
• ProvableHQ / python-sdk

  View on GitHub
  ☆45Aug 1, 2025Updated 7 months ago
• ProvableHQ / aleo-rust

  View on GitHub
  ☆34Mar 12, 2024Updated 2 years ago
• ProvableHQ / service

  View on GitHub
  ☆13Sep 10, 2025Updated 6 months ago
• ProvableHQ / snarkOS

  View on GitHub
  A Decentralized Operating System for ZK Applications
  ☆4,512Updated this week
• okannako / AleoTestnet

  View on GitHub
  ☆34Dec 2, 2022Updated 3 years ago
• HarukaMa / aleo-prover

  View on GitHub
  Light standalone prover
  ☆152Oct 12, 2024Updated last year
• howardwu / credits

  View on GitHub
  ☆10Jan 22, 2024Updated 2 years ago
• ProvableHQ / leo

  View on GitHub
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,804Updated this week
• polymerdao / plonky2

  View on GitHub
  ☆13Feb 14, 2025Updated last year
• HarukaMa / aleo-explorer

  View on GitHub
  Open source explorer for the Aleo network
  ☆131Mar 11, 2026Updated last week
• arkworks-rs / marlin

  View on GitHub
  A Rust library for the Marlin preprocessing zkSNARK
  ☆324Jan 18, 2024Updated 2 years ago
• ZKCamp / aleo-course

  View on GitHub
  Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)
  ☆41Dec 29, 2023Updated 2 years ago
• argentlabs / starknet-build

  View on GitHub
  ☆21May 12, 2023Updated 2 years ago
• coset-io / zk-insights

  View on GitHub
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights
  ☆47Dec 2, 2024Updated last year
• ProvableHQ / aleo-standard-programs

  View on GitHub
  ☆26Feb 17, 2026Updated last month
• dusk-network / piecrust

  View on GitHub
  General purpose virtual machine for running WASM smart contracts
  ☆23Updated this week
• demox-labs / art-factory

  View on GitHub
  Making NFTs on Aleo easy
  ☆50Mar 1, 2024Updated 2 years ago
• dusk-network / plonk

  View on GitHub
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
  ☆629Feb 17, 2026Updated last month
• matter-labs / vm2

  View on GitHub
  High performance EraVM for zkSync.
  ☆23Mar 13, 2026Updated last week
• arkworks-rs / snark

  View on GitHub
  Interfaces for Relations and SNARKs for these relations
  ☆898Sep 12, 2025Updated 6 months ago
• Aleo-DevRel-Ambas / zero-to-zk

  View on GitHub
  ☆14Aug 16, 2024Updated last year
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• howardwu / wagyu

  View on GitHub
  A Rust library for generating cryptocurrency wallets
  ☆645Feb 17, 2022Updated 4 years ago
• dusk-network / Poseidon252

  View on GitHub
  Reference implementation for the Poseidon Snark-friendly Hash algorithm.
  ☆217Feb 2, 2026Updated last month
• arkworks-rs / poly-commit

  View on GitHub
  A Rust library for polynomial commitments
  ☆423Dec 2, 2024Updated last year
• hyraxZK / hyraxZK

  View on GitHub
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆36Feb 9, 2018Updated 8 years ago
• FuelLabs / forc-wallet

  View on GitHub
  A forc plugin for managing Fuel wallets.
  ☆101Mar 11, 2026Updated last week
• privacy-ethereum / halo2wrong

  View on GitHub
  ☆124Nov 30, 2024Updated last year
• zcash / orchard

  View on GitHub
  Implementation of the Zcash Orchard Protocol
  ☆64Mar 3, 2026Updated 2 weeks ago