Open-source language tooling for developers who care about the craft — plus AI tools built on that foundation.
Open 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.
Purpose-built development environments for languages that deserve first-class tooling, not afterthought plugins.
Language workbench · macros · DSLs · Rhombus
Types · typeclasses · holes · Core inspection
Live image · objects · inspector · debugger
Proofs · holes · elaboration · totality
Proof trees · unification · trace · constraints
ChezPro · GerbilPro · ClozurePro · SteelBankPro · MercuryPro
AI-driven GUI testing that runs entirely inside VMs. No browser automation frameworks, no accessibility APIs, no language-specific test harnesses — just a VM, a VNC connection, and an AI agent that sees the screen and drives input like a human would. Test any application, in any language, on any desktop platform.
UI screenshot decomposition into structured drawing primitives. Gives AI agents structural understanding of interfaces — components, hierarchy, visual properties — not just pixels or OCR text. Integrates into TestAnyware.
Commercial
The expertise behind our language tools, applied to making every developer more effective.
Knowledge & Learning
Cross-project knowledge that makes AI agents as experienced as senior developers.
Automated documentation that's paradigm-aware, execution-validated, and pedagogically sound.
AI educator that teaches by testing your understanding, adapting in real time.
Cognitive simulation — model individuals, predict group dynamics, validate learning.
Analysis & Modernization
Design recovery and architectural pattern extraction for large codebases.
Abstraction lifting — refactor architectures, not just code.
Legacy system modernization for COBOL and other legacy languages — understand what exists, then incrementally transform it into modern architectures.
Orchestration & Visualization
The deconstructed IDE — composable tools coordinated by rules and AI.
Git-like branching for development processes — track and merge experimental approaches.
See your code as FSMs, sequence diagrams, BPMN, and more.
Featured Product
Intelligent project planning that integrates Linear, Google Calendar, and Notion — with soft constraints for the human factors that determine whether a plan actually works.
Skills, interests, availability
What-if experimentation
Team dynamics, preferences