Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
☆23May 4, 2023Updated 3 years ago
Alternatives and similar repositories for cairo-migration-prompt
Users that are interested in cairo-migration-prompt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Feb 16, 2025Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- Cairo Package Manager☆35Dec 31, 2022Updated 3 years ago
- Cairo hooks for pre-commit☆17May 21, 2022Updated 4 years ago
- Cairo verification of webauthn authentication credentials☆33Apr 20, 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.
- Tool to install Cairo 1.0 with a single command☆15Apr 1, 2023Updated 3 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆67Feb 20, 2023Updated 3 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 3 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated last year
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- A comprehensive library for Cairo 🐺☆39Jan 27, 2026Updated 8 months ago
- A comprehensive transaction MPT proofs handler for Ethereum / Starknet☆12Oct 14, 2025Updated last year
- ☆99Jun 14, 2022Updated 4 years ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- The First Onchain Generative Music Library. Deployed on Starknet☆10Dec 3, 2024Updated last year
- NFT Royalty Standard☆16Aug 28, 2024Updated 2 years ago
- Abi parser for Cairo smart contracts, based on wagmi abitype☆62Dec 13, 2024Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆162Jan 11, 2025Updated last year
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆28May 30, 2025Updated last year
- CLI tool to develop Starknet projects written in Cairo☆55Nov 30, 2023Updated 2 years ago
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated 2 years ago
- Cairo STARK proof verifier for Starknet☆75Jan 27, 2026Updated 8 months ago
- ⚖️ Rules marketplace contract☆13Nov 24, 2023Updated 2 years ago
- Celestia -> Starknet bridge☆47May 22, 2024Updated 2 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- ☆43Apr 4, 2023Updated 3 years ago
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year
- A dataframe approach to the Cairo framework☆16Feb 10, 2025Updated last year
- STARK 101 Workshop in Rust 🐺🦀☆145Apr 28, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Generate the interfaces for your Cairo contracts☆32Oct 29, 2022Updated 3 years ago
- Stark Compass: the only open source explorer☆68Oct 4, 2024Updated 2 years ago
- Static Analyzer for Starknet smart contracts☆148Jan 25, 2024Updated 2 years ago
- Blazing fast toolkit for developing Starknet contracts.☆393Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆260Updated this week
- Build neural network models in Cairo 1.0☆19Apr 30, 2023Updated 3 years ago
- The Cairo package manager☆223Oct 10, 2026Updated last week