Alternatives and similar repositories for semgrep-cairo-rules

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

• crytic / tayt
  StarkNet smart contract fuzzer
  ☆80Updated 3 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 2 years ago
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 7 months ago
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated 2 years ago
• auditless / suna
  Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts
  ☆19Updated 2 years ago
• ondrejsojka / cairo-migration-prompt
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23Updated 2 years ago
• pscott / StarknetCC-CTF
  Write up of the StarknetCC-Lisbon-CTF
  ☆20Updated 2 years ago
• glihm / caironet
  Caironet is a simple test runner to test starknet contracts with mocked addresses
  ☆13Updated 2 years ago
• influenceth / cubit
  ☆41Updated last year
• open-dust / cairo-foundry
  Foundry like framework for starknet contracts
  ☆77Updated 2 years ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated 2 years ago
• lambdaclass / cairo-by-example
  cairo-by-example.com
  ☆40Updated 4 months ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 2 years ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆37Updated 6 months ago
• OpenZeppelin / nile-rs
  CLI tool to develop Starknet projects written in Cairo
  ☆55Updated last year
• HerodotusDev / cairo-lib
  A comprehensive library for Cairo 🐺
  ☆39Updated 2 months ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• credence0x / cairo-damn-vulnerable-defi
  Damn Vulnerable Defi for Starknet
  ☆25Updated 2 years ago
• bbresearcher / ZK
  ☆17Updated last week
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated 2 years ago
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated 2 years ago
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆76Updated last year
• lambdaclass / yet-another-swap
  YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
  ☆53Updated last year
• franalgaba / cairo-installer
  Tool to install Cairo 1.0 with a single command
  ☆15Updated 2 years ago
• starknet-io / starknet-stack-resources
  A collection of works discussing the security aspects of StarkNet
  ☆40Updated 8 months ago
• glihm / starknet-messaging-dev
  A detailed tutorial to test Starknet messaging with Anvil and Katana
  ☆30Updated 8 months ago
• Hexens / piller
  Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
  ☆11Updated 2 years ago
• crytic / secureum-medusa
  ☆46Updated 2 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago