The agent-to-code compiler that optimizes AI for speed 🏎️ and safety 🏁
☆60Feb 23, 2026Updated 7 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:
- Egraphs Modulo Theories☆20Jun 10, 2025Updated last year
- Developing K - a language model to generate OPENSCAD code from prompt☆19Dec 3, 2025Updated 10 months ago
- Proof-of-concept materialized-path hierarchy implementation using SQLite views, triggers, and a JSON-based interface.☆16Feb 5, 2025Updated last year
- ☆13Apr 4, 2024Updated 2 years ago
- generate informative knowledge graph from text using open source models , ollama☆23Sep 1, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆24Mar 25, 2025Updated last year
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- For quickly scaffolding new projects with HTMX and your choice of backend technology.☆25Jul 28, 2026Updated 2 months ago
- Connecting bv_decide to SMTLIB.☆19Sep 27, 2026Updated last week
- ☆13May 25, 2023Updated 3 years ago
- Memory management MCP server for AI agents using Neo4j knowledge graphs☆69Updated this week
- 📖 UI/UX context detection engine☆12Jan 3, 2021Updated 5 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A browser extension to automatically extract and batch-copy transcripts from Udemy videos. Perfect for students and learners who use note…☆23Sep 28, 2026Updated last week
- The open-source Devin alternative. Run Claude Code, Codex, OpenCode or Pi in isolated cloud workspaces you can self-host.☆373Updated this week
- Outputs vs. outcomes: what's the different and why does it matter?☆17Apr 14, 2025Updated last year
- An open source time tracker for developers☆13Sep 23, 2026Updated 2 weeks ago
- Offline Batch Multi-world Simulation Runtime☆26Updated this week
- Index and search your Git repositories with AI. Includes a terminal UI and MCP server for AI tool integration.☆17Jan 31, 2026Updated 8 months ago
- ☆17Jul 2, 2025Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- iEDA water-drop training initiative☆14Sep 10, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆17Jul 14, 2026Updated 2 months ago
- Golang package and CLI to compute the difference between date, time or duration☆24Jul 18, 2026Updated 2 months ago
- MCP server for searching and getting up-to-date information about NPM, Cargo, PyPi, and NuGet packages.☆39Dec 2, 2025Updated 10 months ago
- A tool for checking the contract satisfaction for hardware designs☆12Jul 21, 2026Updated 2 months ago
- Official implementation of "Figure It Out: Improve the Frontier of Reasoning with Active Visual Thinking"☆17Jan 13, 2026Updated 8 months ago
- ☆17Feb 13, 2026Updated 7 months ago
- ☆11May 5, 2022Updated 4 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 8 months ago
- MOTIF: Modular Thinking via Reinforcement Fine-tuning in LLMs☆17Jul 6, 2025Updated last year
- 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.
- Version 3.0.0 Pytorch implementations of DQN, DDQN, DDPG, SAC, Discrete SAC. With more features :)☆12Feb 16, 2023Updated 3 years ago
- Vigil- API security☆16Jan 8, 2026Updated 9 months ago
- LLM4HWDesign Starting Toolkit☆20Oct 4, 2024Updated 2 years ago
- Audio to Audio (Whisper+ChatGPT+Bark)☆10Apr 30, 2023Updated 3 years ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Aug 25, 2021Updated 5 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Small framework for easily exposing an API over websockets to clients☆14Apr 15, 2018Updated 8 years ago