I am interested in code contracts as a means to clarify code and reduce bugs. Microsoft released a code contracts library and assorted tools for .Net, here. I intend to do a MS thesis on measuring the runtime performance of code contracts. To do this I need a body of code that uses code contracts. So I decided to write some code using code contracts for doing a few simple computational geometry operations.
The name GLCC stands for “Geometry Library with Code Contracts”. The code is hosted at GitHub, here.