767 packages returned for Tags:"Code-Contract"

  • 320 total downloads
  • last updated 2/9/2019
  • Latest version: 1.0.0.4
  • DBC Contract
Library representing the desing by contract programing such as precondition, postconditions, and object invariants
NContract is a design by contract library that lets you write oneliners to verify parameters in constructors and methods instead of using more verbose if statements.
Goldlight Contracts is a set of useful little extension methods that can be used to validate the inputs into your methods. This code is .NET Core.
  • 70,936 total downloads
  • last updated 1/11/2013
  • Latest version: 2.37.0
  • Browser Code Editor
CodeMirror is a JavaScript library that can be used to create a relatively pleasant editor interface for code-like content ― computer programs, HTML markup, and similar. If a mode has been written for the language you are editing, the code will be coloured, and the editor will optionally help you... More information
Windows® API Code Pack for Microsoft® .NET Framework provides a source code library that can be used to access some features of Windows 7 and Windows Vista from managed code. These Windows features are not available to developers today in the .NET Framework. This package includes the XML... More information
The package is a collection of libraries that can be used for literate programming with F# (great for building documentation) and for generating library documentation from inline code comments. The key componments are Markdown parser, tools for formatting F# code snippets, including tool tip type... More information