Precision tools for the AI era
Tools, books and infrastructure.
Native macOS apps, domain-specific languages, constraint solvers, and developer tools — for people who work with AI every day.
Cue
A native macOS prompt manager. Write, organize, and reuse prompts with variables and hand-off to Claude or ChatGPT.
Learn moreAmbiance
Semantic search for documents and code on macOS. Find by meaning, not just keywords. Build RAG prompts.
Learn moreRope
A modern, single-file code editor for macOS with multi-cursor editing, git integration, and AI assistant workflow.
Learn moreRepositories
A native Git client for macOS with visual diffs, commit graphs, branches, tags, worktrees, blame, and GitHub integration.
Learn moreStreck & Turbine
Model, prove, and explain the dynamics of complex financial scenarios with a domain-specific language and runtime.
Learn morePredictive Algorithms
A short book and a small C99 library on trails, sparse sets, constraint solving, and exact cover via Dancing Links.
Learn morePractical Solvers
Five constraint-solving paradigms — CDCL, MILP, SMT, LCG, and MaxSAT — each built from scratch in C99.
Learn moreSubscription Licensing Server
Sell your software outside the app store with a self-hosted licensing server, Stripe integration, and full source code.
Learn more