avnu-labs / semgrep-cairo-rules

Related projects: ⓘ

• 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
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆75Updated 2 years ago
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated last year
• ericnordelo / src5-rs
  Utility for generating SRC5 interfaces ids from Cairo traits
  ☆17Updated 7 months ago
• franalgaba / cairo-installer
  Tool to install Cairo 1.0 with a single command
  ☆15Updated last year
• karmacoma-eth / foundry-playground
  one off scripts and contracts
  ☆18Updated last year
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated last year
• starkware-libs / sequencer
  ☆18Updated this week
• enitrat / cairo-graphs
  A graph library written in Cairo
  ☆24Updated 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
• Hexens / piller
  Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
  ☆10Updated last year
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆36Updated last year
• tensojka / cairo-migration-prompt
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23Updated last year
• influenceth / cubit
  ☆40Updated last month
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• saucepoint / foundry-arbitrum
  Cross-chain message testing for Arbitrum with Foundry
  ☆60Updated last year
• milancermak / xoroshiro-cairo
  xoroshiro PRNG implementation in Cairo
  ☆35Updated last week
• foundry-rs / starknet_forge_template
  Forkable template to get you started with Starknet Foundry's Forge
  ☆15Updated 10 months ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆35Updated 10 months ago
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated last year
• milancermak / cairo-format-action
  GitHub Action to format Cairo files 💄
  ☆12Updated 2 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆15Updated last year
• milancermak / cairo_nft
  An ERC721 implementation in Cairo 1
  ☆12Updated last year
• moodlezoup / huffidity-poc
  ☆61Updated last year
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆72Updated 2 years ago
• topology-gg / shoshin
  ☆12Updated this week
• pscott / StarknetCC-CTF
  Write up of the StarknetCC-Lisbon-CTF
  ☆20Updated last year
• enitrat / cairo1-template
  ☆43Updated last year
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆83Updated 8 months ago