Starred repositories
Local-first search across your workspace, built for humans and AI agents.
Build workflows you can see, code, run, and own. Open-source visual workflow automation with real TypeScript, isolated execution, and a self-hosted Control API.
Self-hostable instant messaging server compatible with classic AIM and ICQ clients written in golang. (Independently developed, not affiliated with or endorsed by AOL)
Native Wayland screenshot and annotation editor for Omarchy and Hyprland
Embedded agents your customers use to automate work, build views, and connect their tools.
Extracts every assumption your coding agent made, links each one to the code it justifies, and tells you which ones broke. Stdlib only.
Fast Rust library for PDF inspection, classification, and text extraction. Intelligently detects scanned vs text-based PDFs to enable smart routing decisions.
Rivet Actors are the primitive for stateful workloads. Built for AI agents, collaborative apps, and durable execution.
Turn documents into AI-ready Markdown with visual understanding
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
Semantic inspector for SQL — catches fan-out double-counting, additivity violations, wrong join keys, and policy breaches before the query runs. Found real bugs in the BIRD/Spider text-to-SQL bench…
Browser extension and iOS app that spoofs your gps, geolocation & timezone, and auto-syncs to your VPN. Firefox, Chrome, Edge, Brave & Safari.
Version control for AI agents — track what your agent did, blame any line to a prompt, inspect any step.
A git wrapper that tracks cloned repos and prevents duplicate clones
A Semantic Change Graph (SCG) to track memory, intent, provenance, and change as a single unit of work.
An OH WebV1 API compatible runtime for spawning Pods for sessions
Arma: Cold War Assault Remastered Source Code Repository.
TypeScript compiler and JavaScript engine in Lean
Wasm interpreter in lean, designed for reasoning
Recursive Language Model extension for Pi coding agent
Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.
Local E2B-compatible sandbox runtime — a single Go binary that exposes an E2B-compatible API on localhost, backed by Docker containers