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

Achtzehn Projekte, alle öffentlich.

Sechs Forschungssysteme in Rust: eine Datenbank-Engine, eine XDR-Plattform, verteilter Speicher, eine Evidence-Engine, sichere Dateizustellung und eine Programmiersprache. Dazu sieben Apple-Anwendungen, zwei Entwickler-Tools und drei Spiele. Alle sind öffentlich und versioniert; Code beziehungsweise Release sind einsehbar.

Projekte18 ö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.

18 Projekte

Datenbanksystemev0.3.25

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.0.30

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
iOS-Anwendungv1.2

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.1

Rootling

Tracker für Pflanzenvermehrung mit 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.14

Shelter Fall

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

SwiftSpriteKit
Spiel · iOSv1.01

Nomad Kitchen Tycoon

Food-Truck-Management-Simulation mit Rush-Gameplay, Bezirksstrategie sowie Truck- und Personal-Upgrades.

SwiftSpriteKit
Spiel · Webv1.3.1

Lancet Linen

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

TypeScriptPhaserVite
02 · Kontext

Zwei Detailtiefen

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

Mehr Implementierungsdetails nötig?

Die Operator-Seiten behandeln Architektur, Betriebsoberflächen und Benchmark-Zahlen für SkeinDB, Wardex und NexusFS. Die vollständige Operator-Ansicht enthält das übrige technische Portfolio.

Operator-Ansicht →