Alternatives and similar repositories for semgrep-cairo-rules

Users that are interested in semgrep-cairo-rules are comparing it to the libraries listed below

• glihm / caironet

  View on GitHub
  Caironet is a simple test runner to test starknet contracts with mocked addresses
  ☆12Jul 1, 2023Updated 2 years ago
• auditless / suna

  View on GitHub
  Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts
  ☆19Jun 12, 2023Updated 2 years ago
• pscott / StarknetCC-CTF

  View on GitHub
  Write up of the StarknetCC-Lisbon-CTF
  ☆20Nov 7, 2022Updated 3 years ago
• software-mansion / scarb

  View on GitHub
  The Cairo package manager
  ☆215Updated this week
• milancermak / cairo_nft

  View on GitHub
  An ERC721 implementation in Cairo 1
  ☆12Apr 25, 2023Updated 2 years ago
• milancermak / cairo-format-action

  View on GitHub
  GitHub Action to format Cairo files 💄
  ☆12Aug 23, 2022Updated 3 years ago
• 0xAsten / Starknet-Tech-Stacks-Mindmap

  View on GitHub
  This open collaboration project aims to explore and document the various technology stacks associated with Starknet.
  ☆10Feb 21, 2024Updated last year
• Moonsong-Labs / cairo-bootloader

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

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• credence0x / cairo-damn-vulnerable-defi

  View on GitHub
  Damn Vulnerable Defi for Starknet
  ☆27Jul 21, 2023Updated 2 years ago
• NethermindEth / starknet-staking-v2

  View on GitHub
  Validator software for Starknet stakers written in Go
  ☆14Dec 19, 2025Updated last month
• chainbound / fiber-benchmarks

  View on GitHub
  Compare Bloxroute and Fiber transaction streams
  ☆10Nov 22, 2024Updated last year
• MiloTruck / sorella-notes

  View on GitHub
  ☆12Nov 3, 2024Updated last year
• LayerAkira / kurosawa_akira

  View on GitHub
  Set of smart contracts on StarkNet for Akira Decentralised Exchange
  ☆12Nov 18, 2025Updated 2 months ago
• crytic / tayt

  View on GitHub
  StarkNet smart contract fuzzer
  ☆81Jul 8, 2022Updated 3 years ago
• ZeroEkkusu / foundrycli.py

  View on GitHub
  Use `forge` and `cast` commands in Python scripts
  ☆19Apr 3, 2022Updated 3 years ago
• mattiekat / cgraph

  View on GitHub
  A pure-std Rust computation graph library
  ☆15Jun 3, 2021Updated 4 years ago
• OpenZeppelin / nile-rs

  View on GitHub
  CLI tool to develop Starknet projects written in Cairo
  ☆55Nov 30, 2023Updated 2 years ago
• keep-starknet-strange / majin-blob

  View on GitHub
  Utility features to play with EIP-4844 blobs for Starknet usage.
  ☆14May 26, 2024Updated last year
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• cartridge-gg / cairo-sha256

  View on GitHub
  Computes SHA256 of arbitrary length inputs.
  ☆15Nov 2, 2022Updated 3 years ago
• kkrt-labs / kakarot-ssj

  View on GitHub
  Kakarot zkEVM - rewrite in the latest version of Cairo
  ☆133Jan 8, 2025Updated last year
• aviggiano / circom-mutator

  View on GitHub
  Mutation testing tool for circom
  ☆17Jul 4, 2023Updated 2 years ago
• carbonable-labs / cairo-erc-2981

  View on GitHub
  NFT Royalty Standard
  ☆16Aug 28, 2024Updated last year
• prestwich / ethers-aws-signer

  View on GitHub
  ☆23Aug 1, 2021Updated 4 years ago
• CeliktepeMurat / Cairo1.0_by_Examples

  View on GitHub
  This repo introduces a Boilerplate and examples for Cairo 1.0 smart contracts.
  ☆14Feb 22, 2023Updated 2 years ago
• crytic / amarna

  View on GitHub
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆147Feb 14, 2025Updated last year
• software-mansion / starknet-jvm

  View on GitHub
  Starknet SDK for JVM languages (Java, Kotlin, Scala)
  ☆68Feb 6, 2026Updated last week
• adhusson / shim-transient-storage

  View on GitHub
  Use the EVM cache state to shim transient storage
  ☆20Feb 9, 2023Updated 3 years ago
• ApeWorX / evm-asm

  View on GitHub
  EVM Opcodes, Assembler, and Disassembler
  ☆23Dec 16, 2022Updated 3 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
• aviggiano / judgementalist

  View on GitHub
  Judgementalist — judge Sherlock contests faster
  ☆12Jun 20, 2023Updated 2 years ago
• project3fusion / StarkSharp

  View on GitHub
  Starknet C# (.NET) SDK
  ☆18Nov 30, 2025Updated 2 months ago
• 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
• KasarLabs / bitcoin-da

  View on GitHub
  Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️
  ☆38Oct 27, 2023Updated 2 years ago
• ondrejsojka / cairo-migration-prompt

  View on GitHub
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23May 4, 2023Updated 2 years ago
• starknet-edu / deploy-cairo1-demo

  View on GitHub
  ☆47Mar 30, 2023Updated 2 years ago
• auditless / awesome-cairo

  View on GitHub
  Resources for Cairo 1.0 development.
  ☆169Feb 6, 2025Updated last year
• franalgaba / cairo-installer

  View on GitHub
  Tool to install Cairo 1.0 with a single command
  ☆15Apr 1, 2023Updated 2 years ago