The agent-to-code compiler that optimizes AI for speed 🏎️ and safety 🏁
☆58Feb 23, 2026Updated 6 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:
- 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 6 months ago
- Developing K - a language model to generate OPENSCAD code from prompt☆19Dec 3, 2025Updated 8 months ago
- A proof-of-concept implementation of hierarchical category management system in SQLite with abstract interface.☆16Feb 5, 2025Updated last year
- Sen Chat is a browser extension that streamlines your online experience by integrating AI chat, advanced web search, document interaction…☆43Dec 22, 2025Updated 8 months ago
- ☆23Mar 25, 2025Updated last year
- 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.
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- ☆14May 25, 2023Updated 3 years ago
- Memory management MCP server for AI agents using Neo4j knowledge graphs☆71Oct 27, 2025Updated 10 months ago
- HTML to Markdown converter☆18Sep 7, 2019Updated 6 years ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 7 months ago
- The engineering discipline that makes your AI developer 10x — hill-climbed through billions of tokens of autonomous experimentation.☆21Jul 10, 2026Updated last month
- Model for multi-turn tool calling of bash functions☆33Jan 26, 2026Updated 7 months ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- ☆46Feb 12, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Apr 24, 2026Updated 4 months ago
- Simple and fast server for GPTQ-quantized LLaMA inference☆24May 18, 2023Updated 3 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- ☆17Jul 2, 2025Updated last year
- ☆15Jul 14, 2026Updated last month
- Guide: from fragile multi-agent app to prod ready with orra - code and resources.☆14Mar 24, 2025Updated last year
- 🫛👣 FAVA Trails — Git-native, curated memory for AI agents via MCP. Draft isolation, promotion gate, thought lifecycle hooks, memory cur…☆24Updated this week
- Official implementation of "Figure It Out: Improve the Frontier of Reasoning with Active Visual Thinking"☆17Jan 13, 2026Updated 7 months ago
- Automaton & Cognition☆16Apr 14, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Vigil- API security☆16Jan 8, 2026Updated 7 months ago
- Scrape various open data directories to create an index of what's available out there☆38Feb 13, 2025Updated last year
- Hot reload Go projects and templates on file change☆24Apr 2, 2024Updated 2 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆14Nov 2, 2023Updated 2 years ago
- Small framework for easily exposing an API over websockets to clients☆14Apr 15, 2018Updated 8 years ago
- 4 bits quantization of LLaMa using GPTQ☆12Jun 2, 2023Updated 3 years ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- Convert and query JSON, JSONL, CSV, and SQLite with ease!☆27Feb 27, 2024Updated 2 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Host LLM via text-generation-inference☆16Dec 5, 2023Updated 2 years ago
- ☆19Feb 9, 2026Updated 6 months ago
- Hoofy — AI development companion MCP server. Persistent memory, spec-driven development, adaptive change pipeline, Clarity Gate. 32 tools…☆15Mar 12, 2026Updated 5 months ago
- A collection of extensions for badlogic/pi-mono coding agent.☆27Feb 23, 2026Updated 6 months ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- LADC, a Layer Above Database Connectors, provides a common API inspired from PDO and JDBC, for Node.js.☆10Jul 20, 2022Updated 4 years ago
- APEX defines how AI agents communicate with brokers, exchanges, dealers, and other execution venues. One protocol. Realtime state. Autono…☆16Jul 23, 2026Updated last month