Domain-specific tooling in the enterprise ecosystem at TypeFox GmbH (Kiel): VSCode-Extensions, language servers, Langium-based DSLs, and Theia-based IDE platforms, plus open-source contributions to Theia and Langium. Enterprise engagements are under NDA.
![]() |
VailNote Privacy-first note & secret sharing, zero-knowledge by design. site ↗ · source ↗ |
|
med-research-mcp Evidence-graded literature search for AI agents: an MCP server for PubMed, Europe PMC, ChinaXiv and RussiaRxiv that ranks results by study design and flags retractions, preprints and animal-only studies. npm ↗ · source ↗ |
|
|
emilkrebs.dev Personal site, set like a printed language specification. site ↗ · source ↗ |
|
Prami Active recall & spaced repetition, engineered so the review schedule fades into the background. |
|
|
Healthstack A specialized IDE for lifestyle optimization on Eclipse Theia: biomarker tracking, unit conversion, purpose-built DSL. |
Generator-Discord, Discord bot scaffolder on npm · Spigot plugins · Discord bots (2022–2024, archived).
WatchLock — lock your phone from your watch (Android + Wear OS). Play Store listing no longer live; source stays up.




