Sematics-Course-Tutorial is a project mainly written in ..., it's free.

My solutions to the exercises for the Semantics course by Prof Nipkow in winter 2010/2011.