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 for macOS virtual machines. Designed to be driven by Claude Code or any LLM agent — the agent takes screenshots, reads them with multimodal vision, and sends input commands through VNC. No browser automation frameworks, no accessibility APIs, no language-specific test harnesses.
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.
An 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
The deconstructed IDE — composable tools coordinated by rules and AI.
Track exploration paths and ripple effects of decisions across entire development processes.
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