Utrecht Engine of Constraint Handling Rules with Priorities
Agda model of our generic diff algorithm.
Parallel and concurrent haskell exercises
The Quique experimental compiler
A Haskell program that simulates Kempe's universal linkages, drawing any algebraic curve in the plane.
End game for functional programming
Haskell Project Time Tracking System
SQL deeply embedded in Haskell