Alternatives and similar repositories for Pragma

Users that are interested in Pragma are comparing it to the libraries listed below

• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• keep-starknet-strange / blobstream-starknet

  View on GitHub
  Celestia -> Starknet bridge
  ☆47May 22, 2024Updated last year
• Moonsong-Labs / cairo-bootloader

  View on GitHub
  Cairo bootloader port for the Rust Cairo VM.
  ☆12Jul 3, 2024Updated last year
• lucadonnoh / graphiro

  View on GitHub
  A graph library built with Cairo
  ☆28Jul 12, 2022Updated 3 years ago
• OilerNetwork / fossil_cairo0

  View on GitHub
  ☆100Jun 14, 2022Updated 3 years ago
• software-mansion / protostar

  View on GitHub
  Protostar is a toolchain for developing and testing Starknet contracts
  ☆249Jul 19, 2023Updated 2 years ago
• franalgaba / pre-commit-cairo

  View on GitHub
  Cairo hooks for pre-commit
  ☆17May 21, 2022Updated 3 years ago
• enitrat / cairo-toolkit

  View on GitHub
  Generate the interfaces for your Cairo contracts
  ☆33Oct 29, 2022Updated 3 years ago
• lucadonnoh / axelrod

  View on GitHub
  Iterated prisoner's dilemma tournaments implemented with Cairo
  ☆25Jul 10, 2022Updated 3 years ago
• eqlabs / starknet-multisig

  View on GitHub
  Multi-signature functionality for StarkNet
  ☆91Jun 22, 2023Updated 2 years ago
• sambarnes / cairo-bloom

  View on GitHub
  A naive bloom filter implementation in Cairo
  ☆37May 28, 2022Updated 3 years ago
• slushsdk / slush

  View on GitHub
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Feb 20, 2023Updated 2 years ago
• influenceth / cairo-math-64x61

  View on GitHub
  Fixed point 64.61 math library for Cairo / Starknet
  ☆65Mar 8, 2023Updated 2 years ago
• lambdaclass / cairo_native

  View on GitHub
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆137Feb 9, 2026Updated last week
• keep-starknet-strange / piltover

  View on GitHub
  Starknet Core Contract components in Cairo.
  ☆28Feb 3, 2026Updated last week
• 0xSpaceShard / starknet-devnet-deprecated

  View on GitHub
  A local testnet for Starknet
  ☆210Dec 15, 2023Updated 2 years ago
• keep-starknet-strange / shenlong

  View on GitHub
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Mar 24, 2023Updated 2 years ago
• StarkLinkVRF / VRF-StarkNet

  View on GitHub
  Contracts for verifiable randomness on StarkNet
  ☆42Oct 17, 2022Updated 3 years ago
• HerodotusDev / cairo-mmr

  View on GitHub
  Cairo Merkle Mountain Range
  ☆37Nov 8, 2023Updated 2 years ago
• cryptonerdcn / wasm-cairo

  View on GitHub
  A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.
  ☆58Dec 14, 2024Updated last year
• keep-starknet-strange / alexandria

  View on GitHub
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆264Jan 19, 2026Updated 3 weeks ago
• beautyisourbusiness / cairo-goldmine

  View on GitHub
  A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM
  ☆293Oct 12, 2022Updated 3 years ago
• auditless / cairo-template

  View on GitHub
  A minimal template for building smart contracts with Cairo 1.0
  ☆87Jun 1, 2023Updated 2 years ago
• milancermak / cairo_nft

  View on GitHub
  An ERC721 implementation in Cairo 1
  ☆12Apr 25, 2023Updated 2 years ago
• xJonathanLEI / starkware-crypto-rs

  View on GitHub
  Rust FFI bindings for StarkWare's crypto-cpp library
  ☆15Apr 27, 2022Updated 3 years ago
• OpenZeppelin / nile-rs

  View on GitHub
  CLI tool to develop Starknet projects written in Cairo
  ☆55Nov 30, 2023Updated 2 years ago
• software-mansion / scarb

  View on GitHub
  The Cairo package manager
  ☆215Updated this week
• HerodotusDev / integrity

  View on GitHub
  Cairo STARK proof verifier for Starknet
  ☆75Jan 27, 2026Updated 2 weeks ago
• starknet-io / types-rs

  View on GitHub
  🐺 Starknet Rust types 🦀
  ☆80Dec 2, 2025Updated 2 months ago
• franalgaba / felucca

  View on GitHub
  Cairo Package Manager
  ☆35Dec 31, 2022Updated 3 years ago
• astraly-labs / pragma-oracle

  View on GitHub
  Pragma, the first provable oracle.
  ☆38Feb 8, 2026Updated last week
• lambdaclass / starknet_in_rust

  View on GitHub
  A Rust implementation of Starknet execution logic
  ☆170Jul 22, 2024Updated last year
• keep-starknet-strange / abi-wan-kanabi

  View on GitHub
  Abi parser for Cairo smart contracts, based on wagmi abitype
  ☆63Dec 13, 2024Updated last year
• NethermindEth / horus-checker

  View on GitHub
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆74Jun 20, 2025Updated 7 months ago
• keep-starknet-strange / garaga

  View on GitHub
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆251Jan 24, 2026Updated 3 weeks ago
• raphaelDkhn / cairo_ml

  View on GitHub
  Build neural network models in Cairo 1.0
  ☆19Apr 30, 2023Updated 2 years ago
• imqdee / vscode-cairo-extension

  View on GitHub
  The (unofficial) Cairo extension for vscode
  ☆16Sep 24, 2022Updated 3 years ago
• keep-starknet-strange / nori

  View on GitHub
  RPC request router and proxy for Starknet, forked from Optimism proxyd.
  ☆12Feb 26, 2024Updated last year
• starknet-io / starknet-p2p-specs

  View on GitHub
  Specification of P2P protocol for StarkNet nodes
  ☆53Jan 15, 2026Updated last month