Alternatives and similar repositories for tree-sitter-cairo

Users that are interested in tree-sitter-cairo are comparing it to the libraries listed below

• crytic / tayt
  StarkNet smart contract fuzzer
  ☆80Updated 3 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆16Updated 3 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• Shungy / evm-regex
  A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.
  ☆20Updated 8 months ago
• jtriley2p / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 3 years ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆60Updated 4 years ago
• avnu-labs / semgrep-cairo-rules
  Semgrep rules for Cairo 1.0
  ☆17Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆31Updated 2 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• 0xkarmacoma / foundry-playground
  one off scripts and contracts
  ☆18Updated 2 years ago
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated 2 years ago
• 0xKitsune / evm-mnemonic
  A barebones framework for hand tuned smart contracts in pure opcodes.
  ☆47Updated 3 years ago
• mektigboy / huffing-ethernaut
  Ethernaut, but in Huff
  ☆28Updated 2 years ago
• muellerberndt / rektosaurus
  A test suite to check for client-side script injection on websites that display NFTs.
  ☆52Updated 2 years ago
• jtriley2p / celebrate-push0
  ☆24Updated 2 years ago
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 3 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆41Updated 2 years ago
• rappie / echidna-curve-reentrancy-hack
  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
  ☆28Updated last year
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 2 years ago
• joswha / ethxmasctf2021
  X-MAS CTF 2021 Ethereum challenges
  ☆29Updated 3 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated 2 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆37Updated 6 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• minaminao / tokyo-payload
  An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals
  ☆28Updated last year
• crytic / secureum-medusa
  ☆46Updated 2 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 3 years ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆57Updated 2 years ago
• hrkrshnn / gastest
  A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540
  ☆22Updated 3 years ago