Alternatives and similar repositories for snarkVM

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

• ProvableHQ / sdk
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆605Updated this week
• ProvableHQ / snarkOS
  A Decentralized Operating System for ZK Applications
  ☆4,438Updated this week
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆327Updated this week
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆337Updated 4 months ago
• howardwu / awesome-aleo
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆373Updated last month
• ProvableHQ / leo
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,830Updated this week
• ProvableHQ / ARCs
  Aleo Request for Comments (ARCs)
  ☆222Updated last week
• anoma / namada
  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
  ☆2,478Updated this week
• autonomys / subspace
  Subspace Protocol reference implementation
  ☆394Updated this week
• availproject / avail
  ☆790Updated this week
• AleoNet / aleo-education
  Aleo Education
  ☆253Updated 10 months ago
• sei-protocol / sei-chain
  ☆2,775Updated this week
• kkrt-labs / kakarot
  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
  ☆1,004Updated 4 months ago
• celestiaorg / celestia-node
  Celestia Data Availability Nodes
  ☆964Updated this week
• scroll-tech / zkevm-circuits
  ☆931Updated 3 weeks ago
• scroll-tech / scroll
  Scroll's Monorepo
  ☆731Updated this week
• succinctlabs / sp1
  SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
  ☆1,326Updated this week
• anoma / namada-testnets
  Testnet configurations and coordination for the Namada network.
  ☆343Updated last year
• starkware-libs / cairo
  Cairo is the first Turing-complete language for creating provable programs for general computation.
  ☆1,749Updated this week
• matter-labs / zksync-era
  zkSync era
  ☆3,167Updated this week
• anoma / namada-trusted-setup-claimer
  Sign arbitrary messages with keys obtained from Namada's trusted setup
  ☆319Updated last year
• ziesha-network / bazuka
  Rust implementation of Ziesha protocol
  ☆1,061Updated last year
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆647Updated this week
• availproject / avail-light
  ☆644Updated this week
• dymensionxyz / rollapp-registry
  A registry for RollApps
  ☆307Updated 10 months ago
• AleoNet / aleo-setup
  A Setup Ceremony for Universal SNARKs
  ☆83Updated 10 months ago
• FuelLabs / fuelup
  ⛽ The Fuel toolchain installer
  ☆282Updated this week
• keep-starknet-strange / madara
  DEPRECATED in favor of https://github.com/madara-alliance/madara
  ☆536Updated 9 months ago
• zksync / credo
  ☆2,187Updated 9 months ago
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆125Updated this week