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
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Updated 2 years ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆47Updated 2 years ago
- ☆21Updated 2 years ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆19Updated last month
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- ☆39Updated last year
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- ☆29Updated last year
- X-MAS CTF 2021 Ethereum challenges☆28Updated 3 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Ethernaut, but in Huff☆28Updated last year
- ☆22Updated last year
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Updated 3 years ago
- Generic Vector library for Solidity☆27Updated 2 years ago
- Mutation testing tool for circom☆16Updated last year
- Repository that defines a cairo struct called ratio that represents a rational number, x/y where x and y are in z mod p. Defines several …☆15Updated 2 years ago
- one off scripts and contracts☆18Updated last year
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Automates the verification of Solidity tests written using BTT technique☆18Updated 4 months ago
- A Symbolic Execution Tool for Cairo☆15Updated 2 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated 6 months ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Updated last year
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆21Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- https://twitter.com/jtriley_eth/status/1550459124047138819?s=20&t=cTBP-TSnIstNEwwPuRDF5Q☆17Updated 2 years ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Cairo hooks for pre-commit☆17Updated 2 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 2 years ago