Alternatives and similar repositories for quiero_mate

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

• lambdaclass / cairo-vm_in_go
  cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…
  ☆57Updated last year
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆137Updated 2 years ago
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆76Updated last year
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆82Updated 6 months ago
• succinctlabs / riscv-emulator-challenge
  ☆31Updated 2 months ago
• keep-starknet-strange / awesome-stwo
  A curated list of awesome projects using STWO.
  ☆34Updated 3 weeks ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆156Updated this week
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆127Updated this week
• yetanotherco / yet-another-bridge
  Yet Another Bridge is the most affordable, fastest and secure solution to bridge from Starknet to Ethereum
  ☆12Updated last year
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated 11 months ago
• software-mansion-labs / cairo-compiler-workshop
  A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.
  ☆21Updated 11 months ago
• HerodotusDev / integrity
  Cairo STARK proof verifier for Starknet
  ☆73Updated last week
• rkdud007 / chess-dojo
  Just a Chess game with some Cairo on top
  ☆16Updated last year
• lambdaclass / lambda_ethereum_consensus
  Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
  ☆109Updated last week
• ReamLabs / ream
  ream: an Ethereum Beam client written in Rust
  ☆104Updated this week
• glihm / starknet-messaging-dev
  A detailed tutorial to test Starknet messaging with Anvil and Katana
  ☆30Updated 6 months ago
• WiseMrMusa / kakashi
  ☆17Updated last year
• NethermindEth / cairo-vm-go
  A virtual machine for Cairo written in Go
  ☆86Updated last month
• Darlington02 / CairoLearnXinYminutes
  Take a whirlwind tour of Cairo
  ☆13Updated 2 years ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆117Updated this week
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆98Updated last year
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆53Updated 3 months ago
• KasarLabs / deoxys-fork
  Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀
  ☆29Updated last year
• Okm165 / stwo-web-stark
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆28Updated last month
• aagbotemi / zk-cryptography
  A collection of cryptographic and zero-knowledge algorithms implemented from scratch in Rust
  ☆20Updated 8 months ago
• privacy-scaling-explorations / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆110Updated 9 months ago
• software-mansion / cairo-lint
  A collection of lints to catch common mistakes and improve your Cairo code.
  ☆31Updated this week
• brevis-network / pico
  ☆55Updated 2 weeks ago
• eryxcoop / zk-adventures
  ☆34Updated 6 months ago
• starkware-libs / sequencer
  ☆51Updated this week