Open-source language tooling for developers who care about the craft — plus AI tools built on that foundation.
Commercial
The expertise behind our language tools, applied to making every developer more effective.
Knowledge & Learning
Persistent orchestration daemon — plans as actors, knowledge as experts, fresh context always.
GitHubAutomated documentation that's paradigm-aware, execution-validated, and pedagogically sound.
GitHubAn AI educator that teaches by testing your understanding.
Cognitive simulation — model individuals, predict group dynamics, validate learning.
Analysis & Modernization
Design recovery and architectural pattern extraction for large codebases.
Abstraction lifting and architecture-level refactoring.
Legacy system modernization — from COBOL to contemporary architectures.
Orchestration & Visualization
An orchestration loop for LLM development cycles. Compose. Reflect. Dream. Triage. Repeat.
GitHubThe deconstructed IDE — composable tools coordinated by rules and AI.
See your code as FSMs, sequence diagrams, BPMN, and more.
Project Planning
Intelligent project planning across Linear, Google Calendar, and Notion — with soft constraints for the human factors (skills, interests, team dynamics) that determine whether a plan actually works.
Testing & QA
AI-driven GUI testing across macOS, Linux, and Windows guests — multimodal vision, accessibility tree, input injection over VNC. Zero instrumentation: if a human can use it, TestAnyware can drive it.
GitHubOpen Source
Native platform tooling for non-mainstream languages. Apache-2.0.
Extracts platform APIs and generates idiomatic native bindings for 11+ languages. Not thin C wrappers — Haskell gets monadic error handling, Smalltalk gets message-passing objects, Prolog gets relational queries.
GitHubPurpose-built development environments for languages that deserve first-class tooling, not afterthought plugins.
Types · typeclasses · holes · Core inspection
Proofs · holes · elaboration · totality
Proof trees · unification · trace · constraints
ChezPro · GerbilPro · ClozurePro · SteelBankPro · MercuryPro
Open Source
Small tools we've built for our own workflows and released publicly.
Scheme-scriptable modal keyboard system. Press a leader key to enter a command tree, then type key sequences to launch apps, manage windows, run shell commands, search files, and more. The config file is live Scheme code (via LispKit) — actions are lambdas, not strings.
GitHubUnifies Alt-hjkl navigation across zellij panes and neovim splits — working uniformly in every pane (shell, neovim, Claude Code, any TUI) without switching zellij modes or commandeering your leader key. A narrower, less invasive alternative to autolock-style plugins.
GitHub