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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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 6 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☆129Apr 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 and start building anything your business needs.
- ☆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 last year
- A Cairo implementation of NIST P-256 (aka Secp256r1).☆34Apr 7, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆43Apr 4, 2023Updated 2 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☆21Feb 13, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆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☆27Feb 19, 2026Updated last month
- Carmine options protocol☆33Oct 12, 2023Updated 2 years ago