Projects
Projects I develop and contribute to, from constraint solvers and programming tools to quizzes and games.
GecodeAn open source C++ toolkit for constraint programming.
I am one of the developers of Gecode, which provides constraint solvers for modelling and solving combinatorial problems.
Small browser puzzle games generated with constraint programming.
Play puzzles such as Sudoku, Queens, Tents and Rush Hour, with daily challenges and progress tracking.
Keep agentic development work in durable briefs and tasks.
A command-line tool and agent skill for planning, implementation, and independent review and verification across coding harnesses. Tasks and decisions live in your repository.
QuizQuestCreate quizzes and run them live.
Players join from their phones and unlock the next questions by answering correctly. Quests can be open to everyone or limited to an invited audience.
A household cookbook for recipes and kitchen guides.
Collect recipes and organise them into collections, with private editing and selected recipes shared publicly.
Format, lint, and query MiniZinc models and data.
Rust tools built around a source-preserving parser, without requiring a MiniZinc compiler or solver.
Inspect, query, and edit textual MLIR without linking LLVM.
A Rust library with Python bindings and a command-line query language for following dataflow and comparing structural changes.
A Rust library for query languages over native data.
Shared evaluation for pipelines, programs and comprehensions. Each host keeps its native objects and supplies domain operations.
Audio-reactive visuals for a second display.
Run visuals on a second screen while controlling the show from your laptop or a phone on the local network.
