Projects
Research, software, and creative projects. Filter by category or search by name, topic, or tool.
28 projects
Upbringing
Language-model post-training experiments using SFT, DPO, and verifiable rewards.
Cognanimus
An adaptive learning platform with generated feedback, checked answers, and records of student progress.
BusyCoq contributions
Contributions to formally verified Busy Beaver proofs, checked in Coq and merged upstream.
Curiosity & satisfaction in LLMs
Activation-steering experiments testing whether a candidate direction changes information-seeking behavior.
TransferBatch
A Shopify-connected tool that turns transfer orders into production sheets, with checks on quantities and dimensions.
SheetMason
A desktop tool for labeling drawing sheets and splitting PDF sets, with review steps and preservation checks.
Siting Radar
A municipal-document pipeline that tracks energy siting changes, with quotations and page citations.
Foldsmith+
A papercraft design tool with 3D previews, folding instructions, and printable cutting sheets.
Lanternfish LF-16
A 16-bit fantasy computer with its own language, compiler, emulator, IDE, and debugger.
Signal Garden
A visual music composition tool where an editable landscape controls the score.
Parlour
A multiplayer party-game platform with shared-scene memory and collaborative invention games.
Tidal Archive
A narrative game about saving a flooded city’s history when the archive has room for only twelve pages.
Event Horizon
An orbital flight simulation with black holes, time dilation, and delayed signals.
Impossible Rooms
A first-person exploration game with folded corridors, nested rooms, and impossible geometry.
Worldseed
A procedural ecosystem simulation for comparing how different choices change a world.
Afterimage
Explore a courtyard across four eras, change its history, and collect evidence of what happened.
Glyphcraft / Kettle Pass
An invented-script game and authoring tool with grammar rules and font export.
Surveyor / Windbreak Ridge
A terrain surveying and mapmaking game where a courier navigates using your field sheet.
Automata
A mechanical sculpture tool for designing motion with cams, linkages, and gears.
More projects
rag-eval-kit
A published Python framework for evaluating RAG pipelines across answer quality, retrieval, latency, and cost.
NeuroTechML
Team research on phoneme classification from surface EMG, including signal processing, LSTM training, and live inference.
Custom LLM Harness
A custom agent harness for managing inference, running tools, recording trials, and comparing results.
llm-scry
A prototype for inspecting token probabilities and model activations through a local TransformerLens API.
Living Scenarios
A Jira app and CLI that connect Gherkin feature files in Git to their latest CI results.
Answerwell
A Confluence Q&A app with accepted answers, expert routing, and access checks.
Multithreaded HTTP Server
An earlier C project exploring concurrent GET/PUT requests, worker queues, file locking, and an audit trail for request ordering.
Sixdegrees
An earlier C++ graph project that finds the shortest chain of movie collaborations between two actors.
Virtual Viper
A Snake-inspired GDevelop game, with contributions to its vertical slice, core mechanics, visuals, and audio integration.
No matching projects.
Try a different phrase or clear the filters to see all the work.