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.
Platform-agnostic GUI testing through vision intelligence. Connects to any machine via VNC — macOS, Windows, or Linux — and understands the UI from screenshots alone using a modular vision pipeline. No guest agent required. If you can see it through VNC, you can test it.
Swift library and CLI for VNC screen capture, keyboard/mouse input, SSH command execution, and video recording. The low-level interaction layer used by TestAnywareRedux and available for any LLM-driven GUI automation.
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.
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