Projects
Projects I develop and contribute to, from constraint solvers and programming tools to quizzes and games.
Gecode
ActiveAn 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.
QuizQuest
Under developmentCreate branching 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.
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.