JoranHonig / tree-sitter-cairo
A tree-sitter-grammar for cairo 1.0
☆16Updated 2 years ago
Alternatives and similar repositories for tree-sitter-cairo:
Users that are interested in tree-sitter-cairo are comparing it to the libraries listed below
- ☆21Updated 2 years ago
- one off scripts and contracts☆18Updated last year
- A barebones framework for hand tuned smart contracts in pure opcodes.☆47Updated 2 years ago
- Mutation testing tool for circom☆16Updated last year
- ☆29Updated last year
- A Symbolic Execution Tool for Cairo☆15Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 2 months ago
- Blog☆22Updated last year
- Ethernaut, but in Huff☆28Updated last year
- Automates the verification of Solidity tests written using BTT technique☆18Updated 5 months ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- ☆22Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- X-MAS CTF 2021 Ethereum challenges☆28Updated 3 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆27Updated 7 months ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Updated 2 years ago
- A curated list of resources on zkECDSA☆36Updated last year
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Semgrep rules for Cairo 1.0☆17Updated last year
- ☆24Updated last year
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Updated 2 years ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆26Updated 8 months ago
- ☆21Updated 2 years ago
- ☆36Updated 3 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year