24 repositories: 7 public, 17 private. Private projects are listed by what they do; their code, methods and results are shared only on request, under NDA where needed.
| Project | What it does | Stack |
|---|---|---|
LANTERN  |
Offline edge-AI kit for flood search and rescue: perception, mission agents and a local LLM that keep working when the mobile network is gone. Phase 0 prototype, built in the open against the 2021 Ahr valley flood as the reference scenario. | Python Jetson ROS 2 |
KRYPTON · Proving Ground  |
Safety and validation tooling for machine-learning models that run on industrial machine controllers. Research prototype on simulated data. | Python ONNX Edge inference |
| Bounce AI |
On-device basketball shooting coach (Biomechanical Observation Unit for Neural Coaching at the Edge). | Python C TFLite |
| Project | What it does | Stack |
|---|---|---|
VLC-1  |
Open specification and conformance checker for proving an AI audit log is complete, not just tamper-evident. | Python Coq |
| OCTA Sentinel |
Formally verified runtime enforcement for AI systems on Linux. | Coq C Rust |
| Project | What it does | Stack |
|---|---|---|
| Moore Labs |
Offline, bilingual (German/English) compliance and security tools for European companies: EU AI Act, Cyber Resilience Act, NIS2, DORA, GDPR and e-invoicing. | Python |
| Project | What it does | Stack |
|---|---|---|
| Project Atlas |
Public catalogue of 50 build-ready project briefs across edge AI, generative AI, AI safety, cyber defence, MLOps and geospatial. Each one sized, phased and gated, so the scope is fixed before any code is written. | Markdown YAML |
| App | What it is |
|---|---|
| MineDime Terminal | Commodity intelligence terminal with a quant research lab. Simulated data. |
| Wochenkorb | Weekly ALDI SÜD and LIDL deals, a budgeted shopping list and recipes built from the deals. |
Single-file web apps from the first phase of Moore Labs, all private: OCTA Systems (AI-governance dashboard), SnapWave (Wi-Fi planning and IoT fleet management), Earth: Solved (planetary scenario modelling), ShellForge (IT training) and Precision Procurement Academy (procurement training).
Gateway audit-log reports to Maxim AI (Bifrost, fixed upstream), IBM, NVIDIA, Docker, the Linux Foundation's agentgateway and Lasso Security; a comment on the LF Decentralized Trust Proof-of-Control draft; and the outside reviewers who have improved VLC-1. Full list →