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 / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 9 months ago
• open-dust / cairo-foundry
  Foundry like framework for starknet contracts
  ☆77Updated 2 years ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆81Updated 3 years ago
• ondrejsojka / cairo-migration-prompt
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23Updated 2 years ago
• auditless / suna
  Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts
  ☆19Updated 2 years ago
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated 2 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆35Updated 2 years ago
• influenceth / cubit
  ☆41Updated last year
• HerodotusDev / cairo-lib
  A comprehensive library for Cairo 🐺
  ☆40Updated 5 months ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated 2 years ago
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 2 years ago
• franalgaba / cairo-installer
  Tool to install Cairo 1.0 with a single command
  ☆15Updated 2 years ago
• StarkLinkVRF / VRF-StarkNet
  Contracts for verifiable randomness on StarkNet
  ☆42Updated 3 years ago
• glihm / caironet
  Caironet is a simple test runner to test starknet contracts with mocked addresses
  ☆13Updated 2 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 2 years ago
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated 3 years ago
• OpenZeppelin / nile-rs
  CLI tool to develop Starknet projects written in Cairo
  ☆55Updated 2 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• jtriley2p / huff-hooks
  Uniswap V4 Huff Hooks
  ☆41Updated 2 years ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• lambdaclass / cairo-by-example
  cairo-by-example.com
  ☆40Updated 7 months ago
• crytic / caracal
  Static Analyzer for Starknet smart contracts
  ☆144Updated last year
• gaetbout / starknet-commit-reveal
  ☆18Updated 2 years ago
• starknet-io / tokei
  ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.
  ☆49Updated last year
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• myBraavos / efficient-secp256r1
  An efficient implementation of ECDSA on secp256r1 in Cairo
  ☆23Updated 2 years ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆38Updated 9 months ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated 2 years ago