Foundations of Mathematics (FOM), typically includes a semester project. Although the exact guidelines vary from year to year and professor to professor, the results are always phenomenal. Here is some of the best work of the last few years.
A video game that allows you (as Dave) to color all the cows – by the CS folks taking FOM, fall 2008 (Jonathan Newberry, Michael Correll, and Marshall Eaton).
A video by Tony Vitez.