massalabs/riscairo external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

massalabs/riscairo

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/massalabs/riscairo)

Close

massalabs / riscairoView on GitHubMore

• External links
• Readme badge

RISC-V ELF interpreter in cairo

☆37Oct 18, 2024Updated last year

Alternatives and similar repositories for riscairo

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

• kariy / starkmint

  View on GitHub
  ☆13Mar 6, 2023Updated 2 years ago
• zksecurity / stark-evm-adapter

  View on GitHub
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Oct 2, 2024Updated last year
• dojoengine / stark-vrf

  View on GitHub
  A VRF implementation using Stark curve and Poseidon hash.
  ☆16Sep 29, 2025Updated 5 months ago
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• software-mansion / cairo-coverage

  View on GitHub
  Code coverage tool for cairo
  ☆22Feb 23, 2026Updated last week
• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆29May 30, 2025Updated 9 months ago
• keep-starknet-strange / snos

  View on GitHub
  Rust Library for running the Starknet OS via the Cairo VM
  ☆67Feb 24, 2026Updated last week
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 2024Updated last year
• HerodotusDev / integrity

  View on GitHub
  Cairo STARK proof verifier for Starknet
  ☆76Jan 27, 2026Updated last month
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• avnu-labs / paymaster

  View on GitHub
  The Starknet Paymaster – abstract gas fees with full control and zero friction.
  ☆28Updated this week
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• lambdaclass / cairo_native

  View on GitHub
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆137Updated this week
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• paulmillr / scure-starknet

  View on GitHub
  Audited & minimal JS implementation of Starknet cryptography.
  ☆74Nov 23, 2025Updated 3 months ago
• HerodotusDev / cairo-lib

  View on GitHub
  A comprehensive library for Cairo 🐺
  ☆40Jan 27, 2026Updated last month
• Digine-Labs / rosettanet

  View on GitHub
  Ethereum <> Starknet RPC middleware.
  ☆43Oct 22, 2025Updated 4 months ago
• starkware-libs / stwo

  View on GitHub
  ☆479Feb 26, 2026Updated last week
• starkware-libs / tree-sitter-cairo

  View on GitHub
  ☆11Sep 14, 2025Updated 5 months ago
• shuklaayush / zed-noir

  View on GitHub
  Noir support for Zed
  ☆11May 3, 2024Updated last year
• Moonsong-Labs / cairo-bootloader

  View on GitHub
  Cairo bootloader port for the Rust Cairo VM.
  ☆12Jul 3, 2024Updated last year
• keep-starknet-strange / garaga

  View on GitHub
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆256Updated this week
• milancermak / xoroshiro-cairo

  View on GitHub
  xoroshiro PRNG implementation in Cairo
  ☆38Aug 18, 2025Updated 6 months ago
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark

  View on GitHub
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆158Dec 3, 2025Updated 3 months ago
• HerodotusDev / herodotus-eth-starknet

  View on GitHub
  ☆35Aug 4, 2023Updated 2 years ago
• erhant / lambda-0b10

  View on GitHub
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Oct 13, 2024Updated last year
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• glihm / starknet-messaging-dev

  View on GitHub
  A detailed tutorial to test Starknet messaging with Anvil and Katana
  ☆30Feb 11, 2026Updated 3 weeks ago
• keep-starknet-strange / nori

  View on GitHub
  RPC request router and proxy for Starknet, forked from Optimism proxyd.
  ☆12Feb 26, 2024Updated 2 years ago
• kkrt-labs / stwo-brainfuck

  View on GitHub
  A ZK-VM for the Brainfuck language, based on Stwo
  ☆34Apr 3, 2025Updated 11 months ago
• starkware-libs / stone-prover

  View on GitHub
  ☆268Sep 16, 2024Updated last year
• kkrt-labs / keth

  View on GitHub
  A EVM block proving backend in Cairo
  ☆88Feb 23, 2026Updated last week
• NethermindEth / entro

  View on GitHub
  Library Interacting with Blockchains
  ☆26Jun 20, 2025Updated 8 months ago
• keep-starknet-strange / alexandria

  View on GitHub
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆263Feb 21, 2026Updated last week
• lambdaclass / stark_compass_explorer

  View on GitHub
  Stark Compass: the only open source explorer
  ☆68Oct 4, 2024Updated last year
• enitrat / cairo1-template

  View on GitHub
  ☆43Apr 4, 2023Updated 2 years ago
• software-mansion-labs / cairo-compiler-workshop

  View on GitHub
  A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.
  ☆21Aug 7, 2024Updated last year