Explore projects

A WebAssembly superoptimizer. MSc thesis project.

A Haskell program that simulates Kempe's universal linkages, drawing any algebraic curve in the plane.

Utrecht Engine of Constraint Handling Rules with Priorities

The Quique experimental compiler

Parallel and concurrent haskell exercises

SQL deeply embedded in Haskell