avnu-labs / semgrep-cairo-rules

Related projects ⓘ

Alternatives and complementary repositories for semgrep-cairo-rules

• 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
• tensojka / cairo-migration-prompt
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23Updated last year
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated last year
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆77Updated 2 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 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
• milancermak / cairo-format-action
  GitHub Action to format Cairo files 💄
  ☆12Updated 2 years ago
• apibara / starknet-modular-contracts-standard
  A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.
  ☆38Updated 2 years ago
• milancermak / xoroshiro-cairo
  xoroshiro PRNG implementation in Cairo
  ☆36Updated 2 months ago
• foundry-rs / starknet_forge_template
  Forkable template to get you started with Starknet Foundry's Forge
  ☆15Updated last year
• TimNooren / pytest-cairo
  Write tests in cairo-lang
  ☆29Updated 2 years ago
• qd-qd / vscode-cairo-extension
  The (unofficial) Cairo extension for vscode
  ☆16Updated 2 years ago
• ericnordelo / src5-rs
  Utility for generating SRC5 interfaces ids from Cairo traits
  ☆19Updated 9 months ago
• 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
• StarkLinkVRF / VRF-StarkNet
  Contracts for verifiable randomness on StarkNet
  ☆41Updated 2 years ago
• Jesserc / Secp256k1-huff
  Secp256k1 Elliptic Curve Library Written In Huff
  ☆5Updated last year
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆22Updated last year
• starkware-libs / sequencer
  ☆27Updated this week
• karmacoma-eth / foundry-playground
  one off scripts and contracts
  ☆18Updated last year
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• influenceth / cubit
  ☆41Updated 3 months ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• milancermak / cairo_nft
  An ERC721 implementation in Cairo 1
  ☆12Updated last year
• enitrat / cairo-graphs
  A graph library written in Cairo
  ☆24Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• keep-starknet-strange / gomu-gomu-no-gatling
  Blazing fast tool to benchmark Starknet sequencers 🦀
  ☆21Updated 3 weeks ago