showcase-project

asm.js distribution of libogg + libvorbis for the browser.

A web app that lets you draw mandalas online.

A public self-maintaining engineering portfolio that turns repository activity into accurate documentation, screenshots, changelogs, metrics, and publishing drafts.

An Erlang library for secure messages between two peers. It uses a ratchet scheme so each message gets a fresh key.

An embeddable key and value store built on a log structured merge tree. It keeps a write ahead log and merges data files in the background.

A small programming language with friendly diagnostics, a documented grammar, and an implementation that can grow from an interpreter into a bytecode virtual machine.

A local workbench for recording, replaying, comparing, and inspecting tool-using agent runs without sending trace data to a hosted service.

A playable dungeon crawler that builds a new map each run. You explore rooms, corridors, and locked areas that the generator creates.

An offline modular synthesizer written in Julia. A patch file declares oscillators, envelopes, filters, and effects as a signal graph. The engine renders the graph to a WAV file at any sample rate. Analysis tools plot spectrograms of the rendered audio.

A naive attempt at implementing a Golang type checker that supports more advanced type inference.

A local-first finance tracker that imports statement files, applies transparent categorization rules, and explains every balance and spending summary.

A small durable background job queue demonstrating leases, retries, idempotency keys, crash recovery, and an inspectable append-only event log.

A compact graphics playground for learning shader techniques through live examples, small experiments, and visual regression captures.

A programmable timer web app, made to look and feel like a native app.

A utility library for WebGPU that provides strongly-typed ArrayBuffer memory access that is compatible with WGSL's alignment and size specifications.

A defensive, offline network-forensics tool that explains suspicious patterns in safe packet fixtures and never performs active scanning.

An event-driven digital logic simulator written in Haskell. A plain-text netlist format describes gates, D flip-flops, and clocks. The simulator runs the circuit and writes standard VCD waveform files. GTKWave and other waveform viewers can open the

A Go board game engine for small boards. It plays with Monte Carlo tree search and speaks the Go Text Protocol.

An MCP server that gives coding agents reliable mechanical-engineering calculations, references, material data, and transparent result provenance.

An interactive distributed-systems simulator that makes message delay, partitions, retries, and eventual convergence visible and reproducible.