Alternatives and similar repositories for voyager-verifier

Users that are interested in voyager-verifier are comparing it to the libraries listed below

• starkware-libs / sequencer
  ☆59Updated this week
• starknet-io / tokei
  ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.
  ☆49Updated last year
• keep-starknet-strange / snos
  Rust Library for running the Starknet OS via the Cairo VM
  ☆67Updated last week
• HerodotusDev / integrity
  Cairo STARK proof verifier for Starknet
  ☆73Updated last month
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• open-dust / cairo-foundry
  Foundry like framework for starknet contracts
  ☆77Updated 2 years ago
• walnuthq / cairovm.codes
  Web app for experimenting with Cairo, Sierra and CASM, with step-by-step debugging.
  ☆33Updated 5 months ago
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆68Updated this week
• HerodotusDev / cairo-lib
  A comprehensive library for Cairo 🐺
  ☆39Updated 3 months ago
• CarmineOptions / konoha
  A toolkit for DAO-like governance on Starknet
  ☆30Updated 7 months ago
• keep-starknet-strange / shenlong
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Updated 2 years ago
• lambdaclass / yet-another-swap
  YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
  ☆53Updated last year
• glihm / starknet-messaging-dev
  A detailed tutorial to test Starknet messaging with Anvil and Katana
  ☆30Updated 9 months ago
• auditless / cairo-template
  A minimal template for building smart contracts with Cairo 1.0
  ☆87Updated 2 years ago
• enitrat / cairo1-template
  ☆43Updated 2 years ago
• dpinones / starklings-app
  ☆45Updated 5 months ago
• pscott / StarknetCC-CTF
  Write up of the StarknetCC-Lisbon-CTF
  ☆20Updated 2 years ago
• kkrt-labs / ef-tests
  Test runner for ethereum foundation tests
  ☆25Updated 8 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• starknet-io / types-rs
  🐺 Starknet Rust types 🦀
  ☆73Updated last week
• EkuboProtocol / governance
  Contracts for governance of Starknet protocols
  ☆67Updated last month
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆76Updated 2 years ago
• starknet-edu / starknet-accounts
  Learn how to build and deploy StarkNet Accounts
  ☆85Updated 2 years ago
• Carbonable / carbon-protocol
  Carbon Starknet Protocol written in Cairo.
  ☆54Updated last year
• lambdaclass / cairo-by-example
  cairo-by-example.com
  ☆40Updated 5 months ago
• keep-starknet-strange / abi-wan-kanabi
  Abi parser for Cairo smart contracts, based on wagmi abitype
  ☆62Updated 9 months ago
• NethermindEth / cairo-vm-go
  A virtual machine for Cairo written in Go
  ☆89Updated 3 months ago
• gaetbout / stark-utils
  ☆23Updated 7 months ago
• starknet-edu / aa-workshop
  Code for Account Abstraction workshop using latest Starknet syntax
  ☆24Updated last year
• astraly-labs / pragma-oracle
  Pragma, the first provable oracle.
  ☆37Updated last week