JoranHonig / tree-sitter-cairo
A tree-sitter-grammar for cairo 1.0
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for tree-sitter-cairo
- Mutation testing tool for circom☆16Updated last year
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Updated 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
- Writing MACI circuits in Noir☆16Updated last year
- Blog☆22Updated last year
- Cairo hooks for pre-commit☆17Updated 2 years ago
- Ethernaut, but in Huff☆28Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Automates the verification of Solidity tests written using BTT technique☆18Updated 2 months ago
- Solidity CTF challenge from BSides TLV 2022☆14Updated 2 years ago
- Semgrep rules for Cairo 1.0☆17Updated last year
- Macros + Primitives for PADE format☆26Updated last week
- 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
- Generic Vector library for Solidity☆27Updated 2 years ago
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Updated last year
- ☆28Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- ☆22Updated 2 years ago
- ERC20.⛳☆20Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated 5 months ago
- A graph library built with Cairo☆28Updated 2 years ago
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- EthernautDAO reputation system☆13Updated 2 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23Updated last year
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 2 years ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆18Updated 3 months ago