Vibe. Prove. Verify.
☆40Feb 27, 2026Updated 2 months ago
Alternatives and similar repositories for cairo-coder
Users that are interested in cairo-coder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Mar 25, 2026Updated last month
- Build powerful and secure AI Agents powered by Starknet.☆96Oct 31, 2025Updated 6 months ago
- A DSPy Adapter for exact-fidelity prompt templates with full control over messages.☆45Feb 23, 2026Updated 2 months ago
- A library to generate bindings from Cairo ABI.☆52Feb 17, 2026Updated 2 months ago
- ☆39Aug 4, 2025Updated 8 months 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.
- Rust Library for running the Starknet OS via the Cairo VM☆67Apr 9, 2026Updated 3 weeks ago
- Projects from the Succinct ZK Residency☆20Oct 23, 2024Updated last year
- Checkpoint is a library for indexing Ethereum and Starknet events and making it accessible through GraphQL.☆55Apr 16, 2026Updated 2 weeks ago
- The magic of origami is in seeing a single piece of cairo evolve into a masterpiece through careful folds.☆48Sep 23, 2025Updated 7 months ago
- dspy-cli is a tool for creating, developing, testing, and deploying DSPy programs as HTTP APIs.☆123Mar 3, 2026Updated last month
- Ethereum <> Starknet RPC middleware.☆43Oct 22, 2025Updated 6 months ago
- Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts☆19Jun 12, 2023Updated 2 years ago
- Exploratory work on abigen in rust for Starknet 🦀☆15Dec 17, 2023Updated 2 years ago
- An introduction to DSPy☆34Aug 30, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Hanji generates docs for your Cairo library☆10Jun 5, 2023Updated 2 years ago
- Madara is a powerful hybrid Starknet client written in Rust.☆123Updated this week
- This is where product topics are discussed for Ledger Fresh☆14Mar 3, 2023Updated 3 years ago
- ☆13Feb 16, 2025Updated last year
- An example template to help you get started with Checkpoint.☆10Sep 2, 2025Updated 7 months ago
- Minimal agent runtime built with DSPy modules and a thin Python loop. Includes CLI, FastAPI server, and eval harness with OpenAI/Ollama s…☆71Apr 14, 2026Updated 2 weeks ago
- ☆269Sep 16, 2024Updated last year
- A modded Prolly-tree implementation in Typescript☆15Oct 6, 2025Updated 6 months ago
- A collection of Compound Retrieval Systems implemented with DSPy and Weaviate.☆96Apr 16, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- HTML5 ES6 SASS Gulp Boilerplate for Websites☆10Oct 12, 2020Updated 5 years ago
- ☆10Apr 27, 2023Updated 3 years ago
- Mobile SDK for StarkNet ✨☆48Apr 13, 2026Updated 2 weeks ago
- A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.☆39Oct 9, 2025Updated 6 months ago
- ☆17Feb 17, 2024Updated 2 years ago
- ☆56Jan 28, 2026Updated 3 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆258Mar 18, 2026Updated last month
- ☆10Oct 8, 2025Updated 6 months ago
- My Submission for the Eth-Tokyo Hackathon☆12May 16, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Search your X/Twitter data archive from the command line with sub-millisecond full-text queries via Tantivy and SQLite☆84Updated this week
- starknet-staking☆98Apr 6, 2026Updated 3 weeks ago
- A minimal reimplementation of Tendermint in Rust☆25Jun 9, 2025Updated 10 months ago
- A vanilla implementation of ReAct: Synergizing Reasoning and Acting in Language Models☆17Mar 26, 2025Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆27Apr 6, 2026Updated 3 weeks ago
- A framework for optimizing DSPy programs with RL☆332Jan 12, 2026Updated 3 months ago
- ☆31Apr 22, 2026Updated last week