ProvableHQ/leo 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

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)

Close

ProvableHQ / leoView on GitHubMore

• External links
• Readme badge

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

☆4,804Mar 21, 2026Updated this week

Alternatives and similar repositories for leo

Users that are interested in leo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• ProvableHQ / snarkOS

  View on GitHub
  A Decentralized Operating System for ZK Applications
  ☆4,512Mar 16, 2026Updated last week
• ProvableHQ / workshop

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

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

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

  View on GitHub
  Aleo Request for Comments (ARCs)
  ☆232Updated this week
• ProvableHQ / leo-docs-source

  View on GitHub
  📄 Documentation for Leo 🦁
  ☆331Updated this week
• trusttoken / aleo-stablecoin-workshop

  View on GitHub
  ☆32Nov 17, 2023Updated 2 years ago
• howardwu / awesome-aleo

  View on GitHub
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆391Sep 6, 2025Updated 6 months ago
• musks-suburbs / zk-gas-soundness

  View on GitHub
  ☆36Dec 9, 2025Updated 3 months ago
• carpalsgrabby / state_commitment_layout

  View on GitHub
  A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects
  ☆34Dec 4, 2025Updated 3 months ago
• ProvableHQ / aleo-wallet-adapter

  View on GitHub
  Modular TypeScript wallet adapters and components for Aleo applications.
  ☆93Mar 1, 2026Updated 3 weeks ago
• mztacat / Aleo-App---tiktacto

  View on GitHub
  ☆74Feb 19, 2024Updated 2 years ago
• carpalsgrabby / zk-arch-noir-gauge

  View on GitHub
  small Web3 architecture gauge for Aztec-style proving.
  ☆39Dec 3, 2025Updated 3 months ago
• AleoNet / aleo-setup

  View on GitHub
  A Setup Ceremony for Universal SNARKs
  ☆82Jun 16, 2024Updated last year
• FuelLabs / sway

  View on GitHub
  🌴 Empowering everyone to build reliable and efficient smart contracts.
  ☆61,873Updated this week
• musks-suburbs / gas-soundness-check

  View on GitHub
  ☆34Dec 5, 2025Updated 3 months ago
• carpalsgrabby / web3_focus_slider

  View on GitHub
  A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities
  ☆34Dec 5, 2025Updated 3 months ago
• warden-protocol / chain-registry

  View on GitHub
  ☆16Mar 8, 2024Updated 2 years ago
• namada-net / namada

  View on GitHub
  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
  ☆2,528Feb 18, 2026Updated last month
• OwshenNetwork / owshen

  View on GitHub
  The Deep Sea
  ☆2,013Oct 6, 2024Updated last year
• warden-protocol / networks

  View on GitHub
  ☆21Feb 10, 2026Updated last month
• FuelLabs / fuel-core

  View on GitHub
  Rust full node implementation of the Fuel v2 protocol.
  ☆57,273Updated this week
• warden-protocol / snapshots

  View on GitHub
  ☆17Dec 6, 2024Updated last year
• chests-genuine / zk-soundness-lite

  View on GitHub
  ☆34Dec 5, 2025Updated 3 months ago
• chests-genuine / selector-soundness

  View on GitHub
  ☆36Dec 10, 2025Updated 3 months ago
• teaxyz / white-paper

  View on GitHub
  how will the protocol work?
  ☆7,922Dec 8, 2025Updated 3 months ago
• GEBcore / light-bitcoin

  View on GitHub
  A light bitcoin library with no_std support.
  ☆15Mar 12, 2025Updated last year
• FuelLabs / fuels-rs

  View on GitHub
  Fuel Network Rust SDK
  ☆43,353Mar 12, 2026Updated last week
• warden-protocol / blackbird

  View on GitHub
  ☆12Nov 7, 2023Updated 2 years ago
• base / chains

  View on GitHub
  provides metadata for networkIDs and chainIDs
  ☆79,093Feb 15, 2024Updated 2 years ago
• primus-labs / emp-rust

  View on GitHub
  Efficient Multi-Party computation toolkit in Rust
  ☆23Sep 25, 2023Updated 2 years ago
• base / node

  View on GitHub
  Everything required to run your own Base node
  ☆68,676Mar 16, 2026Updated last week
• Sin7Y / olavm-whitepaper-v2

  View on GitHub
  Ola whitepaper version-2
  ☆17Jun 20, 2023Updated 2 years ago
• Sin7Y / olavm-workshop

  View on GitHub
  workshop
  ☆15May 5, 2023Updated 2 years ago
• warden-protocol / price-timestamping

  View on GitHub
  ☆13Feb 5, 2024Updated 2 years ago
• musks-suburbs / web3_threatmodel_cli

  View on GitHub
  ☆36Dec 10, 2025Updated 3 months ago
• demox-labs / art-factory

  View on GitHub
  Making NFTs on Aleo easy
  ☆50Mar 1, 2024Updated 2 years ago
• succinctlabs / sp1

  View on GitHub
  SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
  ☆1,604Mar 16, 2026Updated last week
• FuelLabs / fuels-ts

  View on GitHub
  Fuel Network Typescript SDK
  ☆43,317Feb 1, 2026Updated last month