~/workshop
Technical depth, architecture notes, and active experiments.
Active Projects
Runeweave v0.2.0
Local-first AI ritual studio. LML schema, fusion engine, and privacy architecture.
Verbum v0.1.0
Unified Minecraft modpack architecture. Sim-kernel benchmarks and modular monolith design.
Facet alpha
Hybrid C++/Webview IDE for Lean 4. CRDTs, GPUI, and formal verification workflows.
LittleFaith alpha
Compact Bible engine. Rust core, SQLite/Tantivy search, and Tauri frontend.
Theorem Hearts proto
C++ game engine with Lean 4 proof integration. ECS core and static runtime linking.
LectiOwO v1.0
Gamified C++ curriculum tracker. Spiral graph visualization and reactive runes state.
Stack Matrix
Rust / Tauri
Lean 4
TypeScript
Java 21
Svelte 5
React 19