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 🏎️
  ☆382Updated last month
• mantlenetworkio / mantle
  Mantle | Mass adoption of decentralized & token-governed technologies. With Mantle Network, Mantle Treasury, and token holder-governed p…
  ☆248Updated 10 months ago
• ProvableHQ / ARCs
  Aleo Request for Comments (ARCs)
  ☆223Updated last week
• AleoNet / aleo-education
  Aleo Education
  ☆255Updated last year
• hyeongjun-dev / berachain-validator-monitoring
  Full integrated dashboard for Bera blockchain
  ☆23Updated last year
• NethermindEth / eigenlayer
  EigenLayer CLI (https://www.eigenlayer.xyz)
  ☆32Updated last year
• Layr-Labs / eigenlayer-cli
  EigenLayer CLI
  ☆82Updated this week
• berachain / swe-guidelines
  The Berachain SWE Guidelines
  ☆37Updated last year
• Layr-Labs / eigenda-operator-setup
  Quick start setup guide for EigenDA
  ☆81Updated 2 weeks ago
• ProvableHQ / sdk
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆615Updated this week
• atorasi / EigenLayer
  ☆32Updated 2 years ago
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆331Updated this week
• scooprinder / berachain-local
  A complete Berachain development network containerized with Docker.
  ☆22Updated last year
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆128Updated 2 weeks ago
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆340Updated 9 months ago
• AleoNet / aleo-setup
  A Setup Ceremony for Universal SNARKs
  ☆81Updated last year
• Layr-Labs / eigenlayer-contracts
  Contracts of EigenLayer
  ☆691Updated this week
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆653Updated this week
• kroma-network / kroma
  A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.
  ☆171Updated 5 months ago
• layer220 / layer2_20-core
  ☆20Updated last year
• cppmyk / layerzero-bridger
  Software to automate the random use of LayerZero bridges by multiple accounts simultaneously
  ☆279Updated 2 years ago
• HarukaMa / aleo-pool-server
  ☆79Updated last year
• dojonode / taiko-node-dashboard-docker
  The Taiko node dashboard is aimed to provide quick and digestible insights into your Taiko node.
  ☆71Updated last year
• 6block / zkwork_moz_prover
  ☆24Updated 10 months ago
• LayerZero-Labs / LayerZero-v2
  ☆699Updated this week
• artela-network / artela
  Powerful blockchain node with Aspect programming enabled.
  ☆118Updated 10 months ago
• matter-labs / l2-intro-pre-ethdenver
  Introduction to layer two and zkSync
  ☆353Updated last year
• zaivanza / layerzero_tx_checker
  ☆211Updated 2 years ago
• ZenetGame / ZenetAleo
  ☆16Updated 2 years ago
• shardeum / community-missions
  ☆109Updated last year