Explore projects

Utrecht Engine of Constraint Handling Rules with Priorities

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

Agda model of our generic diff algorithm.

Parallel and concurrent haskell exercises