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
• 0xkarmacoma / foundry-playground
  one off scripts and contracts
  ☆18Updated 2 years ago
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 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 10 months ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 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
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• joswha / ethxmasctf2021
  X-MAS CTF 2021 Ethereum challenges
  ☆29Updated 3 years ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆38Updated 8 months ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆42Updated 2 years ago
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated 2 years ago
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 2 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated 2 years ago
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆99Updated last year
• jtriley2p / celebrate-push0
  ☆24Updated 2 years ago
• mektigboy / huffing-ethernaut
  Ethernaut, but in Huff
  ☆28Updated 2 years ago
• JoranHonig / awesome-web3-ai-security
  ☆39Updated last year
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated 2 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 3 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
• minaminao / tokyo-payload
  An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals
  ☆28Updated 2 years ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• minaminao / op-club-sqrt
  Solution for the Optimizoor club's sqrt challenge
  ☆18Updated 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