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 8 months ago
• auditless / suna
  Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts
  ☆19Updated 2 years ago
• franalgaba / cairo-installer
  Tool to install Cairo 1.0 with a single command
  ☆15Updated 2 years ago
• glihm / caironet
  Caironet is a simple test runner to test starknet contracts with mocked addresses
  ☆13Updated 2 years ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆81Updated 3 years ago
• influenceth / cubit
  ☆41Updated last year
• open-dust / cairo-foundry
  Foundry like framework for starknet contracts
  ☆77Updated 2 years ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆38Updated 8 months ago
• HerodotusDev / cairo-lib
  A comprehensive library for Cairo 🐺
  ☆40Updated 3 months ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated 2 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• StarkLinkVRF / VRF-StarkNet
  Contracts for verifiable randomness on StarkNet
  ☆43Updated 3 years ago
• ondrejsojka / cairo-migration-prompt
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23Updated 2 years ago
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated 2 years ago
• gaetbout / starknet-commit-reveal
  ☆18Updated last year
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• OpenZeppelin / nile-rs
  CLI tool to develop Starknet projects written in Cairo
  ☆55Updated last year
• glihm / starknet-messaging-dev
  A detailed tutorial to test Starknet messaging with Anvil and Katana
  ☆30Updated 9 months ago
• credence0x / cairo-damn-vulnerable-defi
  Damn Vulnerable Defi for Starknet
  ☆26Updated 2 years ago
• lambdaclass / yet-another-swap
  YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
  ☆53Updated last year
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated 2 years ago
• pscott / StarknetCC-CTF
  Write up of the StarknetCC-Lisbon-CTF
  ☆20Updated 2 years ago
• enitrat / cairo1-template
  ☆43Updated 2 years ago
• TimNooren / pytest-cairo
  Write tests in cairo-lang
  ☆29Updated 3 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 2 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 3 years ago
• bellissimogiorno / cairo-integer-types
  A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
  ☆29Updated 3 years ago
• myBraavos / efficient-secp256r1
  An efficient implementation of ECDSA on secp256r1 in Cairo
  ☆23Updated 2 years ago
• keep-starknet-strange / gomu-gomu-no-gatling
  Blazing fast tool to benchmark Starknet sequencers 🦀
  ☆24Updated last year