Alternatives and similar repositories for run_leo

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

• Kryha / boloney

  View on GitHub
  The classical game of Liar's Dice enhanced with the usage of Zero-Knowledge Proof
  ☆22Jul 18, 2023Updated 2 years ago
• zeroknowledgetutorials / leo-neural-networks

  View on GitHub
  Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator
  ☆13Mar 21, 2024Updated last year
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• etherlinkcom / website

  View on GitHub
  The Etherlink.com landing page, brought to you by NextJS/Vercel 🤝
  ☆15Feb 5, 2026Updated last week
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 6 months ago
• BrianSeong99 / leo-intro-course

  View on GitHub
  An introductory course for leo language.
  ☆16Feb 20, 2024Updated last year
• synapsecns / sdk

  View on GitHub
  Synapse Protocol's NodeJS SDK
  ☆19Apr 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
• zammdefi / zWallet

  View on GitHub
  onchain maxi wallet software
  ☆29Aug 23, 2025Updated 5 months ago
• howardwu / awesome-aleo

  View on GitHub
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆389Sep 6, 2025Updated 5 months ago
• babylonchain / networks

  View on GitHub
  ☆27Nov 5, 2024Updated last year
• privacy-ethereum / nova-by-hand

  View on GitHub
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆28Jun 12, 2024Updated last year
• taikoxyz / website-v2

  View on GitHub
  ☆25Oct 31, 2024Updated last year
• EdgeMatrixChain / emc_java_sdk

  View on GitHub
  ☆12Sep 6, 2023Updated 2 years ago
• enricobottazzi / halo2-intro

  View on GitHub
  ☆30Mar 24, 2023Updated 2 years ago
• dmpierre / sonobe-btc

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• safe-global / safe-client-gateway

  View on GitHub
  Serves as a bridge for the Safe{Wallet} clients (Android, iOS, Web)
  ☆42Feb 6, 2026Updated last week
• cmgustavo / copay

  View on GitHub
  A multisignature wallet.
  ☆10Mar 8, 2023Updated 2 years ago
• PolyhedraZK / ExpanderCompilerCollection

  View on GitHub
  Expander Compiler
  ☆41Updated this week
• ProvableHQ / workshop

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

  View on GitHub
  for Raspberry Pi
  ☆12Apr 30, 2020Updated 5 years ago
• cry-college / Cry.College

  View on GitHub
  Template for the CryCollege library.
  ☆12Jan 6, 2024Updated 2 years ago
• MuammerBay / SO-ARM101_MoveIt_IsaacSim

  View on GitHub
  ☆27May 27, 2025Updated 8 months ago
• baikalminer / GN

  View on GitHub
  Baikal Giant N Miner
  ☆12Mar 22, 2018Updated 7 years ago
• zeta-chain / example-frontend

  View on GitHub
  ☆45Jul 29, 2024Updated last year
• worldcoin / hyrax-pcs-commit

  View on GitHub
  hyrax-pcs-commit repository
  ☆14Dec 16, 2025Updated last month
• ProvableHQ / service

  View on GitHub
  ☆13Sep 10, 2025Updated 5 months ago
• puzzlehq / puzzle-sdk

  View on GitHub
  SDK for the Puzzle Wallet
  ☆11Aug 12, 2025Updated 6 months ago
• thor314 / ccs-hack

  View on GitHub
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Jul 5, 2023Updated 2 years ago
• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• PancrePal-xiaoyibao / MinerU-xyb

  View on GitHub
  ☆14Feb 25, 2025Updated 11 months ago
• mnwachukwu / FortyLife

  View on GitHub
  An open source, catch-all replacement to websites like TappedOut, MTG Goldfish, DeckStats, DeckBox, TCGPlayer and any other website that …
  ☆10Oct 15, 2024Updated last year
• RingsNetwork / rings-wasm-p2p

  View on GitHub
  This example shows how rings network works in wasm and browser envirement.
  ☆14Jan 22, 2024Updated 2 years ago
• BankkRoll / gamba-degen-flip

  View on GitHub
  Gamba degen coin flip, decentralized gambleFi protocol for on-chain degeneracy on Solana.
  ☆12Jun 19, 2024Updated last year
• therealyingtong / plonkathon

  View on GitHub
  ☆11Jan 28, 2023Updated 3 years ago
• Tetration-Lab / turing-zero

  View on GitHub
  Turing machine ZKVM
  ☆10Nov 12, 2023Updated 2 years ago
• januszgrze / bitcoinrollups

  View on GitHub
  An educational website documenting the development of zk-rollups on Bitcoin.
  ☆11Mar 23, 2024Updated last year
• Alexandra182 / hydroponics-rpi

  View on GitHub
  ☆10Jan 27, 2022Updated 4 years ago
• MatteoMer / provable-email-game-engine

  View on GitHub
  A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.
  ☆11Dec 5, 2024Updated last year