Skip to content
@starkware-libs

StarkWare Libs

Popular repositories Loading

  1. cairo cairo Public

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

    Rust 1.9k 775

  2. cairo-lang cairo-lang Public

    Python 1.4k 295

  3. cairo-vm 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 th…

    Rust 586 226

  4. stwo stwo Public

    StarkWare's next gen prover

    Rust 502 181

  5. papyrus papyrus Public archive

    Papyrus is a StarkNet full node written in Rust.

    Rust 323 90

  6. starkex-contracts starkex-contracts Public

    Solidity 295 121

Repositories

Showing 10 of 75 repositories
  • starknet-privacy Public

    Starknet privacy protocol

    starkware-libs/starknet-privacy's past year of commit activity
    TypeScript 30 Apache-2.0 11 7 61 Updated Sep 9, 2026
  • 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.

    starkware-libs/cairo-vm's past year of commit activity
    Rust 586 Apache-2.0 226 32 14 Updated Sep 9, 2026
  • cairo Public

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

    starkware-libs/cairo's past year of commit activity
    Rust 1,906 Apache-2.0 775 58 (9 issues need help) 150 Updated Sep 9, 2026
  • sequencer Public
    starkware-libs/sequencer's past year of commit activity
    Rust 74 Apache-2.0 77 1 149 Updated Sep 9, 2026
  • privacy-bridge Public
    starkware-libs/privacy-bridge's past year of commit activity
    TypeScript 3 Apache-2.0 2 0 5 Updated Sep 9, 2026
  • proving Public
    starkware-libs/proving's past year of commit activity
    Rust 2 Apache-2.0 2 0 0 Updated Sep 9, 2026
  • cairo_native Public

    A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.

    starkware-libs/cairo_native's past year of commit activity
    Rust 134 Apache-2.0 52 70 (3 issues need help) 6 Updated Aug 30, 2026
  • ekubo-abis Public archive

    Mirror of the deleted EkuboProtocol/abis (MIT). Pinned by supervega contracts/Scarb.toml.

    starkware-libs/ekubo-abis's past year of commit activity
    Cairo 0 MIT 0 0 0 Updated Aug 26, 2026
  • starkware-starknet-utils Public
    starkware-libs/starkware-starknet-utils's past year of commit activity
    Cairo 4 Apache-2.0 3 1 3 Updated Aug 17, 2026
  • stwo Public

    StarkWare's next gen prover

    starkware-libs/stwo's past year of commit activity
    Rust 502 Apache-2.0 181 15 32 Updated Aug 13, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.