Alternatives and similar repositories for semgrep-cairo-rules:

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

• onlydustxyz / kaaper
  Documentation generator for Cairo projects.
  ☆14Updated last year
• auditless / suna
  Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts
  ☆19Updated last year
• franalgaba / cairo-installer
  Tool to install Cairo 1.0 with a single command
  ☆15Updated last year
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated 2 years ago
• glihm / caironet
  Caironet is a simple test runner to test starknet contracts with mocked addresses
  ☆13Updated last year
• HerodotusDev / cairo-lib
  A comprehensive library for Cairo 🐺
  ☆38Updated 3 months ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• myBraavos / efficient-secp256r1
  An efficient implementation of ECDSA on secp256r1 in Cairo
  ☆23Updated last year
• bellissimogiorno / cairo-integer-types
  A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
  ☆29Updated 2 years ago
• tensojka / cairo-migration-prompt
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23Updated last year
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆22Updated last year
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 2 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆37Updated last year
• milancermak / cairo-format-action
  GitHub Action to format Cairo files 💄
  ☆12Updated 2 years ago
• influenceth / cubit
  ☆41Updated 5 months ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• foundry-rs / starknet_forge_template
  Forkable template to get you started with Starknet Foundry's Forge
  ☆15Updated last year
• enitrat / cairo-graphs
  A graph library written in Cairo
  ☆24Updated 2 years ago
• OpenZeppelin / nile-rs
  CLI tool to develop Starknet projects written in Cairo
  ☆56Updated last year
• enitrat / cairo-toolkit
  Generate the interfaces for your Cairo contracts
  ☆32Updated 2 years ago
• 0xkarmacoma / foundry-playground
  one off scripts and contracts
  ☆18Updated last year
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆85Updated last year
• keep-starknet-strange / gomu-gomu-no-gatling
  Blazing fast tool to benchmark Starknet sequencers 🦀
  ☆22Updated 3 months ago
• ericnordelo / src5-rs
  Utility for generating SRC5 interfaces ids from Cairo traits
  ☆20Updated 11 months ago
• moodlezoup / huffidity-poc
  ☆63Updated last year
• NethermindEth / optimized_ecc_cairo
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Updated last year
• TimNooren / pytest-cairo
  Write tests in cairo-lang
  ☆29Updated 2 years ago
• lindy-labs / wadray
  WadRay library for Cairo and Starknet
  ☆21Updated 3 months ago
• enitrat / cairo1-template
  ☆43Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆53Updated 2 months ago