Repositories list

• cairo

  Public
  Cairo is the first Turing-complete language for creating provable programs for general computation.

  cairozero-knowledge-proofszkp+ 2starknetcomputational-integrity

  Rust

  •

  Apache License 2.0

  •601•1.8k•48•105•Updated Jul 18, 2025Jul 18, 2025

• sequencer

  Public
  Rust

  •

  Apache License 2.0

  •55•51•0•168•Updated Jul 18, 2025Jul 18, 2025

• stwo

  Public
  Rust

  •

  Apache License 2.0

  •141•419•12•43•Updated Jul 18, 2025Jul 18, 2025

• cairo-docs

  Public
  HTML

  •1•0•0•0•Updated Jul 17, 2025Jul 17, 2025

• starknet-staking

  Public
  starknet-staking

  Cairo

  •

  Apache License 2.0

  •39•93•3•6•Updated Jul 17, 2025Jul 17, 2025

• stwo-cairo

  Public
  Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

  rustcairostark+ 3zero-knowledgezkvmcircle-stark

  Rust

  •42•222•2•57•Updated Jul 17, 2025Jul 17, 2025

• starknet-specs

  Public
  JavaScript

  •85•105•24•28•Updated Jul 17, 2025Jul 17, 2025

• starkware-starknet-utils

  Public
  Cairo

  •

  Apache License 2.0

  •1•3•0•0•Updated Jul 17, 2025Jul 17, 2025

• cairo-lang

  Public
  Python

  •

  Apache License 2.0

  •283•1.4k•98•46•Updated Jul 10, 2025Jul 10, 2025

• starknet-perpetual

  Public
  Cairo

  •

  Apache License 2.0

  •4•5•0•4•Updated Jul 8, 2025Jul 8, 2025

• x10-config

  Public
  4•3•0•0•Updated Jul 6, 2025Jul 6, 2025

• starkex-contracts

  Public
  Solidity

  •

  Other

  •119•288•4•5•Updated Jul 1, 2025Jul 1, 2025

• blockifier

  Public archive
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

  Rust

  •

  Apache License 2.0

  •107•171•34•63•Updated May 15, 2025May 15, 2025

• stwo-cairo-m31

  Public
  Rust

  •3•7•0•11•Updated May 12, 2025May 12, 2025

• starknet-api

  Public
  Rust

  •

  Apache License 2.0

  •52•61•18•14•Updated Mar 21, 2025Mar 21, 2025

• setup-rust

  Public
  A maintained GitHub action for setting up Rust and Cargo.

  TypeScript

  •14•2•0•0•Updated Feb 27, 2025Feb 27, 2025

• tree-sitter-cairo

  Public
  JavaScript

  •

  Apache License 2.0

  •1•9•0•0•Updated Jan 27, 2025Jan 27, 2025

• starknet-connect

  Public
  TypeScript

  •1•2•0•0•Updated Jan 5, 2025Jan 5, 2025

• papyrus

  Public archive
  Papyrus is a StarkNet full node written in Rust.

  Rust

  •

  Apache License 2.0

  •87•323•0•0•Updated Dec 26, 2024Dec 26, 2024

• spherex-config

  Public
  0•1•0•0•Updated Dec 4, 2024Dec 4, 2024

• test-repository

  Public
  0•1•0•0•Updated Dec 2, 2024Dec 2, 2024

• create-or-update-comment

  Public
  A GitHub action to create or update an issue or pull request comment

  TypeScript

  •

  MIT License

  •140•1•0•0•Updated Nov 20, 2024Nov 20, 2024

• cairo-vm

  Public
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

  Rust

  •

  Apache License 2.0

  •190•2•0•0•Updated Nov 20, 2024Nov 20, 2024

• find-comment

  Public
  A GitHub action to find an issue or pull request comment

  TypeScript

  •

  MIT License

  •74•1•0•0•Updated Nov 17, 2024Nov 17, 2024

• formal-proofs

  Public
  Lean

  •

  Apache License 2.0

  •15•61•0•0•Updated Oct 31, 2024Oct 31, 2024

• committer

  Public
  Rust

  •0•3•0•0•Updated Oct 20, 2024Oct 20, 2024

• mempool

  Public
  Rust

  •

  Apache License 2.0

  •11•14•0•9•Updated Oct 15, 2024Oct 15, 2024

• stone-prover

  Public
  C++

  •

  Apache License 2.0

  •80•267•5•7•Updated Sep 16, 2024Sep 16, 2024

• starkex-resources

  Public
  Python

  •

  Apache License 2.0

  •42•83•5•10•Updated Jul 3, 2024Jul 3, 2024

• davion-config

  Public
  DavionLabs Perpetual StarkEx Configuration

  5•5•0•1•Updated Feb 26, 2024Feb 26, 2024