An open protocol for distributed multi-agent autoformalization.
☆116Oct 1, 2026Updated 2 weeks ago
Alternatives and similar repositories for Choir
Users that are interested in Choir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- A universal GUI for coding harnesses.☆71Updated this week
- ☆72Updated this week
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆38Sep 30, 2026Updated 2 weeks ago
- A persistent native vector-hypergraph database for higher-order interactions☆24Updated this week
- 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.
- Open format for specifying structured assumptions and requirements about code.☆96Sep 11, 2026Updated last month
- Endless OMP chat with durable history and binary summary-tree memory, inspired by OptChat☆78Updated this week
- An agentic environment abstraction for Agent Substrate☆67Updated this week
- Programming language for AI age☆70Updated this week
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- Strongly typed configurable building blocks for A/B testing ML research.☆52Updated this week
- ☆136Jul 9, 2026Updated 3 months ago
- An intuitive console agent to fine-tune AI models with little to no experience required!☆209Oct 5, 2026Updated last week
- Pretraining Transformers Without Backpropagation☆231Oct 6, 2026Updated last week
- 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.
- Mirror is Reflection's coding harness☆94Updated this week
- Visualize AI context & traces.☆53Sep 29, 2026Updated 2 weeks ago
- Push a local md/html file, get a public HTML page on the internet for agent-first collaboration☆110Updated this week
- groma.md - Your architecture as OKF Markdown in Git, and one C4 map you can walk. Scanned from source, curated by you and your agents.☆285Updated this week
- lithos-metal: high-performance LLM inference kernels and serving for Apple silicon.☆272Updated this week
- A very WIP tool for jev-ification☆40Oct 8, 2026Updated last week
- Swap the personal details out of your AI prompts before they are sent. On-device detection, no server, no account.☆46Sep 19, 2026Updated 3 weeks ago
- AI generated safe, polished visual artifacts☆30Updated this week
- PyTorch Code for Explorative Modeling: Unlocking a Third Pretraining Axis and End-to-End Generation☆249Sep 30, 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.
- A transactional outbox for Go applications which use pgx.☆49Sep 30, 2026Updated 2 weeks ago
- AI goes multiplayer. A self-hosted workspace for people and machine people. Create, code, and work together across desktop, mobile, and w…☆186Updated this week
- A fast browser agent: Jev picks each action from what is on the page, an LLM reads and plans, and every claim in an answer cites a quote …☆120Updated this week
- jev + fs = findme☆26Sep 19, 2026Updated 3 weeks ago
- TypeLLM: LLMs with type-safe generation☆957Updated this week
- Live Common Lisp image repair with OpenAI tools, persistent revisions, and a conversational CLI☆64Oct 7, 2026Updated last week
- Alchemy provider for self-hosted celld instances: systemd units, SeaweedFS object store, ten-port layout, restart gate. Topology is injec…☆47Updated this week
- Moved to nace-ai/drex-decision-models (archived)☆35Oct 9, 2026Updated last week
- Automated app testing from the future☆142Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Reference parser and interpreter for the Dogwood policy language☆489Updated this week
- ☆431Oct 3, 2026Updated 2 weeks ago
- Deep memory for agents over large datasets. Leviathan is a single static binary that turns your records (JSONL, JSON, CSV/TSV, SQLite, or…☆830Updated this week
- ☆139Updated this week
- A WebAssembly implementation in Lean4☆48Dec 13, 2023Updated 2 years ago
- A desktop application that estimates where the user is looking on the selected display and renders a red gaze marker at the estimated hit…☆54Jul 3, 2026Updated 3 months ago
- ☆27Jul 30, 2026Updated 2 months ago