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
  ☆613Updated this week
• ProvableHQ / snarkOS
  A Decentralized Operating System for ZK Applications
  ☆4,462Updated this week
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆328Updated last week
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆338Updated 7 months ago
• availproject / avail
  ☆793Updated this week
• howardwu / awesome-aleo
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆381Updated 2 months ago
• celestiaorg / celestia-node
  Celestia Data Availability Nodes
  ☆977Updated this week
• matter-labs / zksync-era
  zkSync era
  ☆3,188Updated this week
• kkrt-labs / kakarot
  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
  ☆1,006Updated 6 months ago
• starkware-libs / cairo
  Cairo is the first Turing-complete language for creating provable programs for general computation.
  ☆1,783Updated this week
• namada-net / namada
  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
  ☆2,496Updated last week
• ProvableHQ / leo
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,787Updated this week
• scroll-tech / scroll
  Scroll's Monorepo
  ☆734Updated this week
• namada-net / namada-trusted-setup-claimer
  Sign arbitrary messages with keys obtained from Namada's trusted setup
  ☆319Updated last year
• autonomys / subspace
  Subspace Protocol reference implementation
  ☆398Updated this week
• sei-protocol / sei-chain
  ☆2,800Updated this week
• scroll-tech / zkevm-circuits
  ☆933Updated 3 months ago
• availproject / avail-light
  ☆651Updated this week
• matter-labs / zksync
  zkSync: trustless scaling and privacy engine for Ethereum
  ☆4,920Updated last year
• ProvableHQ / ARCs
  Aleo Request for Comments (ARCs)
  ☆223Updated last month
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆125Updated 2 weeks ago
• LayerZero-Labs / LayerZero-v1
  An Omnichain Interoperability Protocol
  ☆1,954Updated last year
• succinctlabs / sp1
  SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
  ☆1,440Updated this week
• scroll-tech / scroll-prover
  Scroll zkEVM Playground
  ☆686Updated 3 months ago
• starknet-io / starknet-website
  The main repo for starknet.io
  ☆636Updated 11 months ago
• scroll-tech / contribute-to-scroll
  This repository guides developers wanting to contribute to the Scroll ecosystem.
  ☆1,038Updated last year
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆651Updated this week
• nexus-xyz / nexus-zkvm
  The Nexus zkVM: The zero-knowledge virtual machine
  ☆2,495Updated last week
• LayerZero-Labs / LayerZero-v2
  ☆678Updated this week
• FuelLabs / fuel-vm
  Fuel v2 interpreter in Rust
  ☆365Updated last week