The agent-to-code compiler that optimizes AI for speed 🏎️ and safety 🏁
☆61Feb 23, 2026Updated 8 months ago
Alternatives and similar repositories for a1
Users that are interested in a1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Context management server, for coding agents☆15Jul 22, 2026Updated 3 months ago
- Ecdysis: Efficient and Effective Training of Runtime Harnesses for LLM Agents☆14Sep 22, 2026Updated last month
- Don't Let AI Agents YOLO Your Files: Information and Control in Agent-Native Filesystems☆21Sep 30, 2026Updated last month
- ☆22Oct 11, 2026Updated 3 weeks ago
- ☆16Jul 3, 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.
- J.A.R.V.I.S is an AI desktop assistant built in Openclaw - Python, featuring voice interaction, animated HUD UI, system automation, scree…☆17Jan 31, 2026Updated 9 months ago
- Developing K - a language model to generate OPENSCAD code from prompt☆19Dec 3, 2025Updated 11 months ago
- ☆11Jul 6, 2026Updated 3 months ago
- Egraphs Modulo Theories☆20Jun 10, 2025Updated last year
- Skill that runs other Skills written as Jinja templates.☆11Oct 12, 2026Updated 3 weeks ago
- An agentic skills framework for creating interactive HTML explainers for a topic, documents or codebase☆22Oct 26, 2026Updated last week
- One shared memory for all your AIs — a local-first, native macOS memory layer (MCP).☆14Oct 14, 2026Updated 2 weeks ago
- Memory bank mcp in golang☆14Nov 16, 2025Updated 11 months ago
- 📧 MCP server for Gmail☆12Oct 25, 2026Updated last week
- 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.
- Proof-of-concept materialized-path hierarchy implementation using SQLite views, triggers, and a JSON-based interface.☆16Feb 5, 2025Updated last year
- ☆13May 15, 2026Updated 5 months ago
- AI-powered bookmark management for Raindrop.io - works with Claude Code, Codex, Amp, OpenCode☆17Jan 4, 2026Updated 9 months ago
- generate informative knowledge graph from text using open source models , ollama☆23Sep 1, 2025Updated last year
- Face search engine: 100% recall at 96x less memory than HNSW. Register photos, identify people from camera/video/images. AVX-512 + Rust. …☆20Jul 4, 2026Updated 4 months ago
- Turn anything into a CLI your agent can use. Securely.☆16Apr 20, 2026Updated 6 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- A local MCP (Model Context Protocol) server for portable, long-term agentic memory — a thumb drive for your AI context.☆21Aug 31, 2026Updated 2 months ago
- Apiary Blog☆14Apr 12, 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.
- 💥A TypeScript library that provides a comprehensive set of HTTP error classes and utilities for handling HTTP errors in your application…☆18Aug 9, 2025Updated last year
- ☆10Apr 20, 2026Updated 6 months ago
- Safe high-level bindings for the Boolector SMT solver☆14Apr 5, 2022Updated 4 years ago
- Memory management MCP server for AI agents using Neo4j knowledge graphs☆69Oct 17, 2026Updated 2 weeks ago
- RESTful JSON Specification☆15Mar 22, 2018Updated 8 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Starter Prompts for API design first using ADDR and popular LLMs☆14Jan 19, 2026Updated 9 months ago
- ☆17Apr 26, 2025Updated last year
- Binary Decision Diagrams in Lean 4☆14Jul 26, 2026Updated 3 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.
- LEGO is a compiler-agnostic framework for algebraic memory layout specification and transformation, enabling high-performance kernels acr…☆13Sep 17, 2026Updated last month
- A podman fork of Komodo: quadlet stacks, outbound wss agents, stack secrets from your vault at deploy time.☆23Oct 28, 2026Updated last week
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- MCP server for retrieving relevant documentation from a knowledge base☆14Mar 3, 2025Updated last year
- Simple and fast server for GPTQ-quantized LLaMA inference☆24May 18, 2023Updated 3 years ago
- For quickly scaffolding new projects with HTMX and your choice of backend technology.☆25Jul 28, 2026Updated 3 months ago
- Code repository for Group-MATES Group-Level Data Selection for Efficient Pretraining☆13Jun 14, 2025Updated last year