We understand languages deeply enough to build them. That powers everything else.

Open-source language tooling for developers who care about the craft — plus AI tools built on that foundation.

Commercial

AI Development Tools

The expertise behind our language tools, applied to making every developer more effective.

Knowledge & Learning

Ravel

A persistent actor daemon for AI-assisted development.

GitHub

TheGreatExplainer

Automated documentation that's paradigm-aware, execution-validated, and pedagogically sound.

GitHub

InTheLoop

An AI educator that teaches by testing your understanding.

GitHub

TestSubject

Cognitive simulation — model individuals, predict group dynamics, validate learning.

GitHub

Analysis & Modernization

Atlas

Design recovery and architectural pattern extraction for large codebases.

GitHub

Uplift

Abstraction lifting and architecture-level refactoring.

GitHub

Redeveloper

Legacy system modernization — from COBOL to contemporary architectures.

GitHub

Orchestration & Visualization

Ravel-Lite

An orchestration loop for LLM development cycles. Compose. Reflect. Dream. Triage. Repeat.

GitHub

Reagent

The deconstructed IDE — composable tools coordinated by rules and AI.

GitHub

PolyModalCoder

See your code as FSMs, sequence diagrams, BPMN, and more.

GitHub

Project Planning

Roadmap

Intelligent project planning with soft constraints — resource allocation, timeline visualization, and scenario experimentation.

GitHub

Testing & QA

TestAnyware

AI-driven GUI testing across virtual machines.

GitHub

Open Source

Language Ecosystem

Native platform tooling for non-mainstream languages. Apache-2.0.

APIAnyware

now: macOS · coming: Linux, Windows

APIAnyware extracts, analyzes, and generates native platform API bindings for non-mainstream programming languages — not thin C wrappers, but bindings that feel native to each target language (monadic Haskell, message-passing Smalltalk, modules-and-variants OCaml). APIAnyware-MacOS covers the full macOS API surface (218 ObjC frameworks, 151 Swift modules) via a three-phase Collection → Analysis → Generation pipeline; sibling projects for Linux and Windows are planned.

Collection → Analysis → Generation pipeline · Datalog + LLM semantic annotation · Full API surface

GitHub

10 Dedicated IDEs

Purpose-built development environments for languages that deserve first-class tooling, not afterthought plugins.

RacketPro

GitHub

HaskellPro

GitHub

SmalltalkPro

GitHub

IdrisPro

GitHub

PrologPro

GitHub

+ 5 more

ChezPro · GerbilPro · ClozurePro · SteelBankPro · MercuryPro

Open Source

Developer Utilities

Small tools we've built for our own workflows and released publicly.

Modaliser

Scheme-scriptable modal keyboard system for macOS.

GitHub

zellij-alt-nav

Unified Alt-hjkl navigation across zellij panes and neovim splits, without switching zellij modes.

GitHub

zellij-state-monitor

Headless zellij plugin that exposes live session state via pipe IPC.

GitHub

mdformat-rs

An opinionated Markdown formatter for Rust with Unicode-correct GFM table alignment.

GitHub