Skip to content
minh.systems
Loading
Michél Nguyen
ENDE
Project portfolio

20 public projects, plus two games in development.

Seven research systems: a database engine, an XDR platform, distributed storage, an evidence engine, secure file delivery and a programming language, plus a Python workbench for connectome pharmacology. Then seven Apple-platform apps, two developer tools and six games, two of which are still in development. Each released project links to its source code, a demo or its release page.

Projects20 public
Primary stackRust · Swift · TypeScript
Backed by papers4 systems
EvidenceCode · papers · tests
01 · Portfolio

Selected project work

Filter by category. The research systems link to a profile with scope, architecture and what the work does and does not show. The products link to their release page.

Start with these three

SkeinDB, a pre-1.0 database engine with a peer-reviewed paper and CI-measured replication results. Wardex, a released, self-hosted XDR platform (v1.1.0). MushBloom, an iOS app published on the App Store.

22 projects

Database systemsv0.3.40

SkeinDB

A single-binary database engine with cell-interned MVCC, MySQL compatibility, partial PostgreSQL support, and twenty research tracks.

RustMVCCMySQL wireWasm UDFs

Paper · TechRxiv 2026

Security operationsv1.1.0

Wardex

A Rust-built XDR and SIEM platform for detections, fleet operations, incident response, and threat hunting.

RustXDR / SIEMPolicy engineTLA+ export

Paper · Federated IDS, TechRxiv 2025

Distributed systemsv0.1.0

NexusFS

An offline-first distributed filesystem with signed operations, deterministic replication, and proof-ready storage semantics.

RustQUICCRDTContent-addressed
Edge evidencev0.1.0

VeriLog

An edge-native evidence engine that turns device telemetry into tamper-evident logs with signed checkpoints.

RustEd25519Merkle frontierDifferential privacy
Secure file deliveryv0.1.0

SafeDrop

A home-hosted secure file drop with content-addressed storage, delivery receipts, and path-aware reachability evidence.

RustSigned receiptsAppend-only auditSingle binary
Programming languagesv0.2.0-beta.7

Patch

A change-oriented programming language and browser IDE with inferred contracts, provenance, and selected Lean-checked evidence.

JavaScriptLean 4PWAMIT
Computational neurosciencev0.6.0

FlyLab

A provenance-first pharmacology workbench on the Drosophila MaleCNS connectome that tests whether each prediction actually depends on the wiring.

PythonPyodideFastAPIMIT
iOS applicationv1.3

ShotSift

Private photo decluttering for iPhone. Duplicates, screenshots and bursts are detected entirely on-device.

SwiftVisionOn-device AI
iOS applicationApp Store · v1.1

MushBloom

Mushroom cultivation companion with strain guides, grow journals, AI contamination scans and PDF export.

SwiftCore MLiCloud
iOS applicationv1.3

Rootling

Plant propagation tracker with rooting forecasts, visual journals, weather context, reminders and exportable records.

SwiftCloudKitPDF / CSV export
iOS applicationv1.11

RidgeFocus

Pomodoro and deep-work timer with streak systems, widgets and lightweight productivity insights.

SwiftWidgetKitiCloud
macOS applicationv1.0.0

AppSweep

Universal macOS updater that unifies Sparkle, GitHub Releases and Mac App Store sources into one flow.

SwiftSparkleGitHub API
macOS applicationv1.0

Focusledger Pro

Private macOS productivity tracker with local focus tools plus automatic timelines and analytics in Pro.

SwiftScreenCaptureKitLocal-only
macOS applicationPre-launch

DiskLoom

Native macOS drive-health monitoring with local history, trend analysis and transparent compatibility reporting.

SwiftNVMeSQLite
Web toolMIT

Violinen-Stimmer

German-language violin tuner with A=442 Hz, pure-fifth checks, reference tones and on-device microphone analysis.

JavaScriptWeb AudioYIN
Analysis toolMIT

Revolut Trade Scanner

Local trading scanner with out-of-sample-gated recommendations, risk sizing, live TP/SL tracking and an HTML dashboard.

PythonyfinanceRisk models
Game · iOSv1.19

Shelter Fall

Post-apocalyptic survival strategy with progression systems, dynamic events and escalating pressure.

SwiftSpriteKit
Game · iOSv1.7

Nomad Kitchen Tycoon

Food truck management sim with rush gameplay, rival trucks, loyalty rewards and truck financing across two cities.

SwiftSpriteKit
Game · Webv1.3.1

Lancet Linen

Medieval barber-surgeon life sim: care, trade, travel, household, staff and civic ambition in 1382.

TypeScriptPhaserVite
Game · iOSComing soon

Ringjahr

A quiet puzzle about tree rings: place climate cards on a timeline, cut the trunk and match the target cross-section. 78 levels and a daily puzzle.

iOSiPadOSOffline
Game · SteamIn development

Germ Theory

A hospital management sim set in Hamburg, 1875–1892. Build wards, hire staff and push germ theory past a profession that still believes in miasma, up to the cholera of 1892.

GodotBlenderWindows · macOS · Linux
Game · SteamIn development

Kontor

A strategy game about the invention of insurance, Hamburg 1590–1850. Price risk from letters, rumours and ship lists, and build the statistics yourself.

GodotPythonWindows · macOS · Linux
02 · Context

For technical readers

These profiles stay short. Three of the systems also have a longer technical write-up.

Architecture and implementation notes

The operator pages cover architecture and operating surfaces for SkeinDB, Wardex and NexusFS, with benchmark numbers only where they have been measured and published. The full operator view has the rest of the technical portfolio.

Operator view →