JoranHonig / tree-sitter-cairoView external linksLinks
A tree-sitter-grammar for cairo 1.0
☆16Dec 14, 2022Updated 3 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
Sorting:
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- Cairo hooks for pre-commit☆17May 21, 2022Updated 3 years ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- ☆19Jun 24, 2024Updated last year
- ☆11Sep 14, 2025Updated 5 months ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago
- cairo implementation of CRISP by FrankieIsLost☆14May 3, 2022Updated 3 years ago
- Cairo/Starknet smart contract fuzzer☆129Apr 22, 2025Updated 9 months ago
- Generate the interfaces for your Cairo contracts☆33Oct 29, 2022Updated 3 years ago
- Cairo Package Manager☆35Dec 31, 2022Updated 3 years ago
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- ☆35Sep 24, 2023Updated 2 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆147Feb 14, 2025Updated last year
- A Starknet toolkit☆15Mar 6, 2025Updated 11 months ago
- A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)☆72Apr 15, 2024Updated last year
- Smart Contract Security Practice | Lv1 Fallback Attack☆16Jan 13, 2022Updated 4 years ago
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- A reentrancy attack on the Deadfrenz Lab Pass contract☆19Feb 20, 2022Updated 3 years ago
- A Cairo implementation of NIST P-256 (aka Secp256r1).☆34Apr 7, 2022Updated 3 years ago
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 3 years ago
- ☆41Aug 9, 2024Updated last year
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆82Feb 3, 2024Updated 2 years ago
- winafl with mopt mutators and afl fast power schedulers.☆22Feb 2, 2025Updated last year
- ☆18Sep 2, 2025Updated 5 months ago
- Binary-only fuzzer for WebAssembly (WASI)☆52Jul 31, 2024Updated last year
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆271Apr 22, 2025Updated 9 months ago
- ☆23Oct 20, 2021Updated 4 years ago
- A graph library written in Cairo☆24Sep 25, 2022Updated 3 years ago
- Utility for generating SRC5 interfaces ids from Cairo traits☆21Feb 13, 2024Updated 2 years ago
- ☆43Apr 4, 2023Updated 2 years ago
- Static Analyzer for Starknet smart contracts☆146Jan 25, 2024Updated 2 years ago
- Blog☆23Jun 27, 2023Updated 2 years ago
- Course content for the most comprehensive Flow Blockchain course on the platform☆23Jun 29, 2023Updated 2 years ago
- A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…☆27Sep 15, 2022Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 3 years ago
- ☆25Nov 8, 2022Updated 3 years ago
- Starknet pool to provide non-custodial liquidity to central limit order book market makers☆25Jul 21, 2022Updated 3 years ago