Repositories list

• sequencer

  Public
  Rust

  •

  Apache License 2.0

  •52•51•1•142•Updated Jun 10, 2025Jun 10, 2025

• stwo

  Public
  Rust

  •

  Apache License 2.0

  •135•409•13•40•Updated Jun 10, 2025Jun 10, 2025

• starknet-specs

  Public
  JavaScript

  •84•102•24•35•Updated Jun 10, 2025Jun 10, 2025

• 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

  •604•1.8k•47•84•Updated Jun 10, 2025Jun 10, 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

  •37•208•5•48•Updated Jun 10, 2025Jun 10, 2025

• starkware-starknet-utils

  Public
  Cairo

  •

  Apache License 2.0

  •1•2•0•3•Updated Jun 10, 2025Jun 10, 2025

• cairo-docs

  Public
  HTML

  •1•0•0•0•Updated Jun 10, 2025Jun 10, 2025

• starknet-staking

  Public
  starknet-staking

  Cairo

  •

  Apache License 2.0

  •40•92•3•6•Updated Jun 9, 2025Jun 9, 2025

• x10-config

  Public
  4•3•0•0•Updated Jun 9, 2025Jun 9, 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

  •106•172•34•63•Updated May 15, 2025May 15, 2025

• stwo-cairo-m31

  Public
  Rust

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

• cairo-lang

  Public
  Python

  •

  Apache License 2.0

  •279•1.4k•98•44•Updated May 6, 2025May 6, 2025

• starknet-perpetual

  Public
  Cairo

  •

  Apache License 2.0

  •4•5•0•4•Updated May 6, 2025May 6, 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

• starkex-contracts

  Public
  Solidity

  •

  Other

  •118•287•4•5•Updated Feb 19, 2025Feb 19, 2025

• tree-sitter-cairo

  Public
  JavaScript

  •

  Apache License 2.0

  •1•8•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

  •86•322•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

  •136•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

  •185•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

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

• formal-proofs

  Public
  Lean

  •

  Apache License 2.0

  •14•60•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