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

  •597•1.7k•43•66•Updated Mar 11, 2025Mar 11, 2025

• stwo-cairo

  Public
  Cairo

  •20•67•2•52•Updated Mar 10, 2025Mar 10, 2025

• sequencer

  Public
  Rust

  •

  Apache License 2.0

  •39•44•0•155•Updated Mar 10, 2025Mar 10, 2025

• starknet-perpetual

  Public
  Cairo

  •

  Apache License 2.0

  •0•1•0•0•Updated Mar 10, 2025Mar 10, 2025

• starknet-staking

  Public
  starknet-staking

  Cairo

  •

  Apache License 2.0

  •34•88•1•6•Updated Mar 10, 2025Mar 10, 2025

• starkware-starknet-utils

  Public
  Cairo

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 10, 2025Mar 10, 2025

• stwo

  Public
  Rust

  •

  Apache License 2.0

  •118•305•10•28•Updated Mar 10, 2025Mar 10, 2025

• setup-rust

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

  TypeScript

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

• starknet-specs

  Public
  JavaScript

  •81•100•22•29•Updated Feb 27, 2025Feb 27, 2025

• x10-config

  Public
  4•3•0•1•Updated Feb 24, 2025Feb 24, 2025

• starkex-contracts

  Public
  Solidity

  •

  Other

  •116•288•4•5•Updated Feb 19, 2025Feb 19, 2025

• cairo-lang

  Public
  Python

  •

  Apache License 2.0

  •276•1.4k•98•45•Updated Feb 15, 2025Feb 15, 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

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

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

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

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

• formal-proofs

  Public
  Lean

  •

  Apache License 2.0

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

  •79•265•5•7•Updated Sep 16, 2024Sep 16, 2024

• 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•174•34•63•Updated Aug 21, 2024Aug 21, 2024

• starknet-api

  Public
  Rust

  •

  Apache License 2.0

  •52•62•18•14•Updated Jul 22, 2024Jul 22, 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

• stwo-air-schema

  Public
  Shell

  •2•3•0•0•Updated Feb 19, 2024Feb 19, 2024

• stark-perpetual

  Public
  Cairo

  •

  Apache License 2.0

  •17•56•1•1•Updated Nov 22, 2023Nov 22, 2023