Vibe. Prove. Verify.
☆37Feb 18, 2026Updated last week
Alternatives and similar repositories for cairo-coder
Users that are interested in cairo-coder are comparing it to the libraries listed below
Sorting:
- ☆19Feb 20, 2026Updated last week
- dspy-cli is a tool for creating, developing, testing, and deploying DSPy programs as HTTP APIs.☆119Updated this week
- Build powerful and secure AI Agents powered by Starknet.☆95Oct 31, 2025Updated 4 months ago
- An introduction to DSPy☆34Aug 30, 2025Updated 6 months ago
- Ethereum <> Starknet RPC middleware.☆43Oct 22, 2025Updated 4 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…☆70Dec 22, 2025Updated 2 months ago
- Memory Agent monorepo☆83Oct 9, 2025Updated 4 months ago
- Advanced AI Agents in React☆72Updated this week
- The magic of origami is in seeing a single piece of cairo evolve into a masterpiece through careful folds.☆48Sep 23, 2025Updated 5 months ago
- A library to generate bindings from Cairo ABI.☆50Feb 17, 2026Updated last week
- Search your X/Twitter data archive from the command line with sub-millisecond full-text queries via Tantivy and SQLite☆78Feb 22, 2026Updated last week
- Checkpoint is a library for indexing Ethereum and Starknet events and making it accessible through GraphQL.☆55Oct 29, 2025Updated 4 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆67Updated this week
- Moondream MCP Server in Python☆44Jul 2, 2025Updated 7 months ago
- ROS2 code for AURO practicals☆11Jul 24, 2025Updated 7 months ago
- Seamless integrate onchain game logic and state into your Unity game☆31Sep 25, 2025Updated 5 months ago
- xoroshiro PRNG implementation in Cairo☆38Aug 18, 2025Updated 6 months ago
- Cairo STARK proof verifier for Starknet☆76Jan 27, 2026Updated last month
- Generate the interfaces for your Cairo contracts☆33Oct 29, 2022Updated 3 years ago
- A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.☆39Oct 9, 2025Updated 4 months ago
- A desktop application for learning and practicing scales and chords on the piano.☆15Sep 5, 2025Updated 5 months ago
- CART253 in 2020☆10Nov 24, 2020Updated 5 years ago
- ☆37Feb 5, 2025Updated last year
- RISC-V ELF interpreter in cairo☆36Oct 18, 2024Updated last year
- A Cairo contract to play chess in Starknet.☆38Dec 26, 2022Updated 3 years ago
- PyTorch Implementation for the paper "Let Me Help You! Neuro-Symbolic Short-Context Action Anticipation" accepted to RA-L'24.☆12Nov 27, 2024Updated last year
- ☆25Jan 30, 2026Updated last month
- Hugo SEO Module☆10Jan 7, 2026Updated last month
- Shared behaviour for Mocha, to help DRY out your test suite☆13Nov 12, 2014Updated 11 years ago
- starknet-staking☆97Dec 18, 2025Updated 2 months ago
- ☆267Sep 16, 2024Updated last year
- ☆14Oct 3, 2012Updated 13 years ago
- Token Replacer is a simple and small Java Library that helps replacing tokens in strings. You can replace the tokens with static values o…☆13Oct 13, 2020Updated 5 years ago
- ☆18Feb 7, 2026Updated 3 weeks ago
- ☆11Sep 26, 2024Updated last year
- ☆12May 18, 2023Updated 2 years ago
- ☆21Jan 19, 2026Updated last month
- ☆11Sep 14, 2025Updated 5 months ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated last month