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
  ☆81Updated 3 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 3 years ago
• Shungy / evm-regex
  A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.
  ☆20Updated last year
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆74Updated 3 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆42Updated 2 years ago
• joswha / ethxmasctf2021
  X-MAS CTF 2021 Ethereum challenges
  ☆29Updated 4 years 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
  ☆61Updated 4 years ago
• 0xKitsune / evm-mnemonic
  A barebones framework for hand tuned smart contracts in pure opcodes.
  ☆48Updated 3 years ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆51Updated 2 years ago
• 0xkarmacoma / foundry-playground
  one off scripts and contracts
  ☆18Updated 2 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated 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
• mektigboy / huffing-ethernaut
  Ethernaut, but in Huff
  ☆28Updated 2 years ago
• marktoda / paradigm-ctf
  My notes and code from the Paradigm CTF
  ☆41Updated 3 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• minaminao / tokyo-payload
  An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals
  ☆28Updated 2 years ago
• muellerberndt / rektosaurus
  A test suite to check for client-side script injection on websites that display NFTs.
  ☆51Updated 2 years ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆38Updated 10 months ago
• paradigmxyz / paradigm-ctf-2022-teaser
  https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code
  ☆40Updated 3 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated 2 years ago
• refcell / c4box
  Code 4rena Sandbox & Exploits
  ☆14Updated 3 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆54Updated 3 years ago
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated 2 years ago
• jtriley2p / celebrate-push0
  ☆24Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆58Updated 2 years ago