Msc-thesis is a project mainly written in Haskell, it's free.

MSc Thesis project Utrecht University + wgp10 paper.