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
• Shungy / evm-regex
  A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.
  ☆20Updated 9 months ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆37Updated 6 months ago
• 0xkarmacoma / foundry-playground
  one off scripts and contracts
  ☆18Updated 2 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
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 3 years ago
• 0xKitsune / evm-mnemonic
  A barebones framework for hand tuned smart contracts in pure opcodes.
  ☆47Updated 3 years ago
• jtriley2p / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 3 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• avnu-labs / semgrep-cairo-rules
  Semgrep rules for Cairo 1.0
  ☆17Updated 2 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated 2 years ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated 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
• crytic / secureum-medusa
  ☆46Updated 2 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆42Updated 2 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated 2 years ago
• minaminao / op-club-sqrt
  Solution for the Optimizoor club's sqrt challenge
  ☆18Updated 2 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 2 years ago
• paradigmxyz / paradigm-ctf-2022-teaser
  https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code
  ☆40Updated 3 years ago
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• jtriley2p / celebrate-push0
  ☆24Updated 2 years ago
• joswha / ethxmasctf2021
  X-MAS CTF 2021 Ethereum challenges
  ☆29Updated 3 years ago
• emilianobonassi / curve-whitehack-example
  Example of the whitehack for Curve exploit 30/07/23
  ☆19Updated 2 years ago