A delta-debugging test bench: five reduction algorithms (ddmin, ddminY, drdd, ProbDD, CDD) under a common framework, run against custom predicate families built from real bug-reproducing inputs — ffmpeg, XML, binutils, crashjs. Includes the harness plus scripts for comparative benchmarking of oracle cost, runtime, and reduction quality.

Grammar-based fuzzers in C, with compiler-style tooling that generates them from grammar specifications — profiled and tuned at the implementation level for throughput.

Closed-loop slug-flow architecture, SSA instruction set, and finite-state safety model, realisable in standard multilayer PDMS. A reference compiler and machine-checked correctness are in progress.

An extensible DSL compiling recipes to DAGs of ingredients, intermediate components, transformations, and procedural branches, with an LLM-based pipeline that validates plain-language recipes against it.

A lightweight, client-side password generator and manager — built and used day to day, with everything kept in the browser.

A Playfair-cipher solver that recovers keys by simulated annealing over a fitness landscape of candidate decryptions.