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

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/workshop)

Close

ProvableHQ / workshopView on GitHubMore

• External links
• Readme badge

📜 A Starter Guide to Build ZK Applications 📜

☆341Dec 17, 2024Updated last year

Alternatives and similar repositories for workshop

Users that are interested in workshop are comparing it to the libraries listed below

• ProvableHQ / sdk

  View on GitHub
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆623Feb 21, 2026Updated last week
• ProvableHQ / ARCs

  View on GitHub
  Aleo Request for Comments (ARCs)
  ☆231Feb 9, 2026Updated 2 weeks ago
• ProvableHQ / aleo-std

  View on GitHub
  ☆20Nov 10, 2025Updated 3 months ago
• ProvableHQ / aleo-rust

  View on GitHub
  ☆34Mar 12, 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,151Updated this week
• ProvableHQ / grammars

  View on GitHub
  Grammar specifications for languages and formats in the Aleo ecosystem.
  ☆19Aug 13, 2025Updated 6 months ago
• howardwu / awesome-aleo

  View on GitHub
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆389Sep 6, 2025Updated 5 months ago
• ProvableHQ / leo-docs-source

  View on GitHub
  📄 Documentation for Leo 🦁
  ☆331Updated this week
• ProvableHQ / leo

  View on GitHub
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,803Updated this week
• Aleo-DevRel-Ambas / zero-to-zk

  View on GitHub
  ☆14Aug 16, 2024Updated last year
• ProvableHQ / snarkOS

  View on GitHub
  A Decentralized Operating System for ZK Applications
  ☆4,507Updated this week
• ProvableHQ / python-sdk

  View on GitHub
  ☆45Aug 1, 2025Updated 6 months ago
• HarukaMa / aleo-explorer

  View on GitHub
  Open source explorer for the Aleo network
  ☆131Feb 20, 2026Updated last week
• ProvableHQ / aleo-standard-programs

  View on GitHub
  ☆26Feb 17, 2026Updated last week
• AleoNet / aleo-setup

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

  View on GitHub
  ☆13Feb 14, 2025Updated last year
• matter-labs / era-zkevm_test_harness

  View on GitHub
  Compare in-circuit and out-of-circuit VMs
  ☆60Aug 16, 2024Updated last year
• AleoNet / aleo-education

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

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

  View on GitHub
  General purpose virtual machine for running WASM smart contracts
  ☆23Feb 17, 2026Updated last week
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 7 months ago
• ProvableHQ / service

  View on GitHub
  ☆13Sep 10, 2025Updated 5 months ago
• spacemeshos / post-rs

  View on GitHub
  Rust implementation of POST proving
  ☆13Dec 15, 2025Updated 2 months ago
• EspressoSystems / hyperplonk

  View on GitHub
  ☆335Feb 2, 2026Updated 3 weeks ago
• d0cd / slingshot

  View on GitHub
  A lightweight CLI for deploying programs and executing transactions on Aleo.
  ☆15May 15, 2023Updated 2 years ago
• FuelLabs / fuels-portal

  View on GitHub
  The user facing portal and Fuel landing page
  ☆43Feb 23, 2024Updated 2 years ago
• dymensionxyz / rollapp-wasm

  View on GitHub
  WASM DRS - WASM Dymension Rollapp Standard
  ☆32Jan 29, 2026Updated last month
• EspressoSystems / nitro-espresso-integration

  View on GitHub
  Nitro goes vroom and fixes everything
  ☆32Feb 20, 2026Updated last week
• EspressoSystems / espresso-polygon-zkevm-demo

  View on GitHub
  ☆70Feb 22, 2026Updated last week
• demox-labs / art-factory

  View on GitHub
  Making NFTs on Aleo easy
  ☆50Mar 1, 2024Updated last year
• chainflip-io / chainflip-eth-contracts

  View on GitHub
  ☆15Feb 18, 2026Updated last week
• ProvableHQ / aleo-wallet-adapter

  View on GitHub
  Modular TypeScript wallet adapters and components for Aleo applications.
  ☆93Feb 7, 2026Updated 3 weeks ago
• trusted-point / Node-manuals

  View on GitHub
  ☆90Apr 6, 2024Updated last year
• starknet-io / types-rs

  View on GitHub
  🐺 Starknet Rust types 🦀
  ☆80Dec 2, 2025Updated 2 months ago
• EspressoSystems / jellyfish

  View on GitHub
  A Rust Implementation of the PLONK ZKP System and Extensions
  ☆508Updated this week
• AztecProtocol / barretenberg

  View on GitHub
  Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg
  ☆194Updated this week
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆23Nov 14, 2024Updated last year
• anoma / whitepaper

  View on GitHub
  ☆90Sep 15, 2025Updated 5 months ago