.NET CodeContracts | Batch Downloader

Provides a language-agnostic way to express coding assumptions in .NET programs.