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 across virtual machines. One Swift CLI plus per-platform in-VM agents and a Python vision pipeline: take screenshots over VNC, read them with multimodal vision, query the platform's accessibility tree, send keyboard and mouse input, execute commands in the VM, and verify the result. The application under test needs zero instrumentation — if a human can use it, TestAnyware can drive it.
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.
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
An orchestration loop for LLM development cycles. Compose. Reflect. Dream. Triage. Repeat.
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