Projects

Apps I ship and tools I research with.

A mix of products for everyday people and open-source research code. Everything links to the real thing.

Apps

Mealcents

Tell it your weekly budget and how many you’re feeding. It plans seven dinners that fit, with recipes, Sunday prep and a shopping list. No account needed, and your data stays on your iPhone.

In development · iOSReact NativeOn-device AI

Research code

Two branches can each be valid and still break production once merged. MERLIN reads Terraform, Kubernetes, Helm and Pulumi changes, encodes the merge as Z3 constraints, and either proves it safe, proposes a repair, or names the exact lines in conflict.

PythonSMT · Z3Infrastructure as code

NeSt

A networked-storage simulator that models quality of service end to end, from the host across the network to the SSD, so different classes of traffic can be given different guarantees.

C++SimulationStorage · QoS

Community Logistics

Groups online-shopping orders into delivery regions with a weighted self-organising map, then generates the KPIs and charts to compare delivery strategies.

PythonMachine learningLogistics