Skip to content
Change the repository type filter

All

    Repositories list

    • JavaScript
      01100Updated Feb 26, 2025Feb 26, 2025
    • TypeScript
      13134Updated Feb 25, 2025Feb 25, 2025
    • Source code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
      TypeScript
      MIT License
      243242Updated Feb 25, 2025Feb 25, 2025
    • Noir packages registry for Aztec Network server
      TypeScript
      0002Updated Feb 24, 2025Feb 24, 2025
    • Noir Packages registry for Aztec Network webapp
      TypeScript
      0002Updated Feb 24, 2025Feb 24, 2025
    • noir-libs

      Public
      Noir Packages registry for Aztec Network CLI
      Rust
      1001Updated Feb 24, 2025Feb 24, 2025
    • Blazing fast toolkit for developing Starknet contracts.
      Rust
      MIT License
      206001Updated Feb 24, 2025Feb 24, 2025
    • TypeScript
      3210Updated Feb 21, 2025Feb 21, 2025
    • dojo

      Public
      Dojo is a toolchain for building provable games and autonomous worlds with Cairo
      Rust
      Apache License 2.0
      194001Updated Feb 5, 2025Feb 5, 2025
    • op-scan

      Public
      Lightweight transaction explorer for the OP Stack.
      TypeScript
      231821Updated Feb 3, 2025Feb 3, 2025
    • docs

      Public
      TypeScript
      Other
      1000Updated Jan 31, 2025Jan 31, 2025
    • The Cairo package manager
      Rust
      MIT License
      74000Updated Jan 22, 2025Jan 22, 2025
    • Open Source transaction debugger and simulator for EVM. Purpose built for the Superchain.
      TypeScript
      MIT License
      0200Updated Jan 13, 2025Jan 13, 2025
    • cairo

      Public
      Cairo is the first Turing-complete language for creating provable programs for general computation.
      Rust
      Apache License 2.0
      597000Updated Dec 6, 2024Dec 6, 2024
    • scarb

      Public
      The Cairo package manager
      Rust
      MIT License
      74000Updated Dec 6, 2024Dec 6, 2024
    • noir

      Public
      Noir is a domain specific language for zero knowledge proofs
      Rust
      Apache License 2.0
      248000Updated Dec 4, 2024Dec 4, 2024
    • sequencer

      Public
      Rust
      Apache License 2.0
      37000Updated Sep 26, 2024Sep 26, 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
      168000Updated Sep 23, 2024Sep 23, 2024
    • 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
      106000Updated Sep 23, 2024Sep 23, 2024
    • This tool monitors the resource usage of the StarkNet Mainnet rollup in real time, such as calldata, storage, and gas consumption. Its aim is to help take steps to further optimize the rollup.
      TypeScript
      Apache License 2.0
      11501Updated Jun 7, 2024Jun 7, 2024
    • PLpgSQL
      7201Updated Jun 4, 2024Jun 4, 2024
    • TypeScript
      0100Updated Dec 25, 2023Dec 25, 2023