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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cairo hooks for pre-commit☆17May 21, 2022Updated 3 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- ☆19Jun 24, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Starknet toolkit☆15Mar 6, 2025Updated last year
- cairo implementation of CRISP by FrankieIsLost☆14May 3, 2022Updated 3 years ago
- Cairo Package Manager☆35Dec 31, 2022Updated 3 years ago
- ☆10Sep 14, 2025Updated 7 months ago
- Generate the interfaces for your Cairo contracts☆33Oct 29, 2022Updated 3 years ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago
- Cairo/Starknet smart contract fuzzer☆130Apr 22, 2025Updated 11 months ago
- ☆35Sep 24, 2023Updated 2 years ago
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆41Aug 9, 2024Updated last year
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Feb 14, 2025Updated last year
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- A reentrancy attack on the Deadfrenz Lab Pass contract☆19Feb 20, 2022Updated 4 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 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 graph library written in Cairo☆24Sep 25, 2022Updated 3 years ago
- A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)☆72Apr 15, 2024Updated 2 years ago
- A Cairo implementation of NIST P-256 (aka Secp256r1).☆34Apr 7, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆43Apr 4, 2023Updated 3 years ago
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 4 years ago
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆83Feb 3, 2024Updated 2 years ago
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆271Apr 22, 2025Updated 11 months ago
- Static Analyzer for Starknet smart contracts☆148Jan 25, 2024Updated 2 years ago
- Smart Contract Security Practice | Lv1 Fallback Attack☆16Jan 13, 2022Updated 4 years ago
- Various ERC-721 Dutch Auctions for StarkNet☆31May 28, 2022Updated 3 years ago
- Starknet pool to provide non-custodial liquidity to central limit order book market makers☆25Jul 21, 2022Updated 3 years ago
- Utility for generating SRC5 interfaces ids from Cairo traits☆20Feb 13, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆24Feb 8, 2025Updated last year
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆168Jul 14, 2022Updated 3 years ago
- Blog☆23Jun 27, 2023Updated 2 years ago
- ☆15Nov 8, 2023Updated 2 years ago
- X/Twitter clone in Axum 0.7.1☆13Dec 13, 2023Updated 2 years ago
- The first open onchain competitive AI eval framework☆27Mar 29, 2026Updated 3 weeks ago
- Carmine options protocol☆33Oct 12, 2023Updated 2 years ago