Explore projects

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