Alternatives and similar repositories for aleo-prover

Users that are interested in aleo-prover are comparing it to the libraries listed below

• howardwu / awesome-aleo
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆379Updated last month
• mantlenetworkio / mantle
  Mantle | Mass adoption of decentralized & token-governed technologies. With Mantle Network, Mantle Treasury, and token holder-governed p…
  ☆246Updated 7 months ago
• ProvableHQ / ARCs
  Aleo Request for Comments (ARCs)
  ☆221Updated 3 weeks ago
• AleoNet / aleo-education
  Aleo Education
  ☆255Updated last year
• Layr-Labs / eigenlayer-cli
  EigenLayer CLI
  ☆80Updated this week
• NethermindEth / eigenlayer
  EigenLayer CLI (https://www.eigenlayer.xyz)
  ☆33Updated last year
• Layr-Labs / eigenda-operator-setup
  Quick start setup guide for EigenDA
  ☆81Updated 2 weeks ago
• hyeongjun-dev / berachain-validator-monitoring
  Full integrated dashboard for Bera blockchain
  ☆23Updated last year
• ProvableHQ / sdk
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆608Updated this week
• berachain / swe-guidelines
  The Berachain SWE Guidelines
  ☆37Updated last year
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆650Updated this week
• atorasi / EigenLayer
  ☆32Updated last year
• Layr-Labs / eigenlayer-contracts
  Contracts of EigenLayer
  ☆690Updated this week
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆327Updated 3 weeks ago
• scooprinder / berachain-local
  A complete Berachain development network containerized with Docker.
  ☆22Updated last year
• LayerZero-Labs / LayerZero-v2
  ☆664Updated 3 weeks ago
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆125Updated last week
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆336Updated 6 months ago
• kroma-network / kroma
  A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.
  ☆171Updated 3 months ago
• autonomys / subspace
  Subspace Protocol reference implementation
  ☆395Updated this week
• 0glabs / 0g-storage-node
  ☆151Updated this week
• AleoNet / aleo-setup
  A Setup Ceremony for Universal SNARKs
  ☆82Updated last year
• cppmyk / layerzero-bridger
  Software to automate the random use of LayerZero bridges by multiple accounts simultaneously
  ☆278Updated last year
• ionet-official / io_launch_binaries
  ☆74Updated last week
• GEBcore / GEB
  GEB: Building A Reality-Perceiving Complex Adaptive System (CAS).
  ☆91Updated 5 months ago
• hyperlane-xyz / hyperlane-monorepo
  The home for Hyperlane core contracts, sdk packages, and other infrastructure
  ☆421Updated this week
• dojonode / taiko-node-dashboard-docker
  The Taiko node dashboard is aimed to provide quick and digestible insights into your Taiko node.
  ☆71Updated last year
• 0glabs / 0g-chain
  The First Modular AI Chain
  ☆82Updated last month
• zaivanza / layerzero_tx_checker
  ☆211Updated last year
• DeBankDeFi / web3-data-DEPRECATED
  ☆137Updated last year