Zum Inhalt springen
minh.systems
Loading
Michél Nguyen
ENDE
Projektportfolio

20 öffentliche Projekte, dazu zwei Spiele in Entwicklung.

Sieben Forschungssysteme: eine Datenbank-Engine, eine XDR-Plattform, verteilter Speicher, eine Evidence-Engine, sichere Dateizustellung und eine Programmiersprache, dazu eine Python-Umgebung für Konnektom-Pharmakologie. Außerdem sieben Apple-Apps, zwei Entwickler-Tools und sechs Spiele, zwei davon noch in Entwicklung. Für veröffentlichte Projekte verlinke ich den Quellcode, eine Demo oder die Release-Seite.

Projekte20 öffentlich
Haupt-StackRust · Swift · TypeScript
Durch Paper belegt4 Systeme
NachweisCode · Paper · Tests
01 · Portfolio

Ausgewählte Projektarbeit

Nach Kategorie filtern. Hinter den Forschungssystemen liegt jeweils ein Profil zu Umfang, Architektur und Aussagekraft der Arbeit. Die Produkte verlinken auf ihre Release-Seite.

Drei Projekte für den Einstieg

SkeinDB, eine Datenbank-Engine vor Version 1.0 mit begutachtetem Paper und in CI gemessenen Replikationsergebnissen. Wardex, eine veröffentlichte, selbst gehostete XDR-Plattform (v1.1.0). MushBloom, eine iOS-App im App Store.

22 Projekte

Datenbanksystemev0.3.40

SkeinDB

Eine Single-Binary-Datenbank-Engine mit Cell-Interned MVCC, MySQL-Kompatibilität, teilweiser PostgreSQL-Unterstützung und zwanzig Forschungstracks.

RustMVCCMySQL wireWasm UDFs

Paper · TechRxiv 2026

Security Operationsv1.1.0

Wardex

Eine in Rust gebaute XDR- und SIEM-Plattform für Detections, Flottenbetrieb, Incident Response und Threat Hunting.

RustXDR / SIEMPolicy EngineTLA+ export

Paper · Federated IDS, TechRxiv 2025

Verteilte Systemev0.1.0

NexusFS

Ein Offline-First-Dateisystem mit signierten Operationen, deterministischer Replikation und nachweisbarer Speichersemantik.

RustQUICCRDTContent-Addressed
Edge Evidencev0.1.0

VeriLog

Eine Edge-native Evidence-Engine, die Gerätetelemetrie in manipulationssichere Logs mit signierten Checkpoints überführt.

RustEd25519Merkle-FrontierDifferential Privacy
Sichere Dateizustellungv0.1.0

SafeDrop

Ein selbst gehosteter sicherer Dateitransfer mit Content-Addressed Storage, Zustellquittungen und nachvollziehbarem Erreichbarkeitsnachweis.

RustSignierte QuittungenAppend-only-AuditSingle Binary
Programmiersprachenv0.2.0-beta.7

Patch

Eine änderungsorientierte Programmiersprache mit Browser-IDE, abgeleiteten Verträgen, Provenienz und in Teilen mit Lean geprüften Nachweisen.

JavaScriptLean 4PWAMIT
Computational Neurosciencev0.6.0

FlyLab

Eine provenienzorientierte Pharmakologie-Workbench auf dem MaleCNS-Konnektom von Drosophila, die prüft, ob eine Vorhersage tatsächlich von der Verschaltung abhängt.

PythonPyodideFastAPIMIT
iOS-Anwendungv1.3

ShotSift

Private Foto-Bereinigung für das iPhone. Duplikate, Screenshots und Serienbilder werden vollständig auf dem Gerät erkannt.

SwiftVisionOn-Device-KI
iOS-AnwendungApp Store · v1.1

MushBloom

Begleit-App für die Pilzzucht mit Strain-Guides, Grow-Journalen, KI-Kontaminationsscans und PDF-Export.

SwiftCore MLiCloud
iOS-Anwendungv1.3

Rootling

Tracker für Pflanzenvermehrung mit Bewurzelungsprognosen, visuellen Journalen, Wetterbezug, Erinnerungen und exportierbaren Aufzeichnungen.

SwiftCloudKitPDF-/CSV-Export
iOS-Anwendungv1.11

RidgeFocus

Pomodoro- und Deep-Work-Timer mit Streak-System, Widgets und schlanken Produktivitätsauswertungen.

SwiftWidgetKitiCloud
macOS-Anwendungv1.0.0

AppSweep

Universeller macOS-Updater, der Sparkle, GitHub Releases und Mac App Store in einem Ablauf zusammenführt.

SwiftSparkleGitHub API
macOS-Anwendungv1.0

Focusledger Pro

Privater macOS-Produktivitätstracker mit lokalen Fokus-Tools sowie automatischen Timelines und Analysen in Pro.

SwiftScreenCaptureKitNur lokal
macOS-AnwendungVor dem Launch

DiskLoom

Native macOS-Überwachung der Laufwerksgesundheit mit lokaler Historie, Trendanalyse und transparentem Kompatibilitätsbericht.

SwiftNVMeSQLite
Web-ToolMIT

Violinen-Stimmer

Deutschsprachiges Geigenstimmgerät mit A=442 Hz, Quintenreinheit-Prüfung, Referenztönen und lokaler Mikrofonanalyse.

JavaScriptWeb AudioYIN
Analyse-ToolMIT

Revolut Trade Scanner

Lokaler Trading-Scanner mit Out-of-Sample-geprüften Empfehlungen, Risikogrößenbestimmung, Live-TP/SL-Tracking und HTML-Dashboard.

PythonyfinanceRisikomodelle
Spiel · iOSv1.19

Shelter Fall

Postapokalyptische Survival-Strategie mit Progressionssystemen, dynamischen Ereignissen und steigendem Druck.

SwiftSpriteKit
Spiel · iOSv1.7

Nomad Kitchen Tycoon

Food-Truck-Management-Simulation mit Rush-Gameplay, Konkurrenztrucks, Treueprämien und Truck-Finanzierung in zwei Städten.

SwiftSpriteKit
Spiel · Webv1.3.1

Lancet Linen

Mittelalterliche Bader-Chirurg-Lebenssimulation: Heilkunst, Handel, Reisen, Haushalt, Personal und städtischer Aufstieg im Jahr 1382.

TypeScriptPhaserVite
Spiel · iOSDemnächst

Ringjahr

Ein ruhiges Puzzle über Jahresringe: Klimakarten auf eine Zeitleiste legen, den Stamm sägen und den Zielquerschnitt treffen. 78 Level und ein tägliches Rätsel.

iOSiPadOSOffline
Spiel · SteamIn Entwicklung

Germ Theory

Eine Krankenhaus-Aufbausimulation in Hamburg, 1875–1892. Stationen bauen, Personal einstellen und die Keimtheorie gegen eine Ärzteschaft durchsetzen, die noch an Miasmen glaubt, bis zur Cholera von 1892.

GodotBlenderWindows · macOS · Linux
Spiel · SteamIn Entwicklung

Kontor

Ein Strategiespiel über die Erfindung der Versicherung, Hamburg 1590–1850. Risiko aus Briefen, Gerüchten und Schiffslisten bepreisen und die Statistik selbst aufbauen.

GodotPythonWindows · macOS · Linux
02 · Kontext

Für technisch Interessierte

Diese Profile bleiben kurz. Drei der Systeme haben zusätzlich eine ausführlichere technische Beschreibung.

Architektur und Implementierung

Die Operator-Seiten beschreiben Architektur und Betrieb von SkeinDB, Wardex und NexusFS, mit Messwerten nur dort, wo sie gemessen und veröffentlicht sind. Die vollständige Operator-Ansicht (auf Englisch) enthält den Rest des technischen Portfolios.

Operator-Ansicht →