Lists (1)
Stars
A Polytopia bot trained from scratch with self-play reinforcement learning
A free AI assistant and survival library that runs on your own computer, with no internet needed. Shows the source of every answer.
An opinionated workspace for AI assisted historical investigations.
Codebase for "Language Models that Play Chess and Explain their Moves"
Lean certificates accompanying Navier-Stokes and Euler results
A multi-hypervisor VM runtime for OCI images, supporting Cloud Hypervisor, Firecracker, QEMU, and Apple Virtualization.framework.
Experiential is the open source, zero markup gateway for BYOK, self-hosted and 1000+ marketplace models. It learns from your traffic to cut costs, recommend better models, and train a specialized m…
iMessage personal assistant + password vault
An open source agent microharness featuring persistent agency and recursive LLMs. Of bash, by bash, for bash; it's shells all the way down.
Unofficial source-oriented reconstruction and extension of Grok Bot 0.18.0 for macOS
An open programming typeface built on Iosevka. Compact, geometric, and tuned for editors and terminals.
Set of re-usable static rules, checks, scripts, and all sort of AI output quality tools
Opinionated Oxlint rules for rejecting low-evidence TypeScript and JavaScript patterns
Schema-first state machines and statecharts for Effect
A self-improving RLM agent for coding workflows and long-running autonomous tasks.
A cozy terminal clubhouse for computer people. Lofi, games, chat, artboard, and tech news, all via SSH.
Claude Lines is a registry of custom status lines for claude code
Opinionated server framework for building x402/MPP-compatible APIs
OfficeCLI is the first and best Office suite purpose-built for AI agents to read, edit, and automate Word, Excel, and PowerPoint files. Free, open-source, single binary, no Office installation requ…
Terminal battle royale — p2p over iroh, no central server. Play instantly: ssh -p 48958 play@royale.boxd.sh · or play.royale.boxd.sh · or 'ascii-royale play'.