CodeContracts alternatives and similar packages

Based on the "Visual Studio Plugins" category.
Alternatively, view CodeContracts alternatives based on common mentions on social networks and blogs.

VsVIM

8.5 4.6 L2 CodeContracts VS VsVIM

Vim Emulator Plugin for Visual Studio 2015+
Roslynator

8.0 9.4 CodeContracts VS Roslynator

Roslynator is a set of code analysis tools for C#, powered by Roslyn.

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com

Nuget Package Manager

7.2 8.5 CodeContracts VS Nuget Package Manager

Repo for NuGet Client issues
Web Essentials

6.6 0.0 L3 CodeContracts VS Web Essentials

Visual Studio extension
Productivity Power Tools

6.3 1.7 L3 CodeContracts VS Productivity Power Tools

Productivity Power Tools - a set of Visual Studio extensions improving developer productivity.
SideWaffle

6.0 0.0 L2 CodeContracts VS SideWaffle

A collection of Item- and Project Templates for Visual Studio
Refactoring Essentials

5.9 0.0 L2 CodeContracts VS Refactoring Essentials

Refactoring Essentials for Visual Studio
SonarSource.sonarlint-visualstudio

4.9 9.6 CodeContracts VS SonarSource.sonarlint-visualstudio

SonarLint extension for VisualStudio
VSColorOutput

4.8 2.9 L4 CodeContracts VS VSColorOutput

Color highlighting to Visual Studio's Build and Debug Output Windows
AxoCover

4.1 0.0 CodeContracts VS AxoCover

Nice and free .Net code coverage support for Visual Studio with OpenCover.
Git Diff Margin

3.8 0.0 L4 CodeContracts VS Git Diff Margin

Git Diff Margin displays live Git changes of the currently edited file on Visual Studio margin and scroll bar. Supports Visual Studio 2012 through Visual Studio 2022
OzCode

2.8 0.0 L4 CodeContracts VS OzCode

Demos that show the power of OzCode
Unchase.OpenAPI.Connectedservice

2.6 6.0 CodeContracts VS Unchase.OpenAPI.Connectedservice

:scroll: Visual Studio extension to generate OpenAPI (Swagger) web service reference.
Unchase.Odata.Connectedservice

2.1 0.0 CodeContracts VS Unchase.Odata.Connectedservice

:scroll: A Visual Studio extension for connecting to OData services with generating client-side C# proxy-classes
Developer Assistant

- CodeContracts VS Developer Assistant

Developer Assistant for Visual Studio enables developers to find and reuse over 21 million code snippets and code sample projects from within the Visual Studio IDE.
CodeLineage

- CodeContracts VS CodeLineage

Easy access to a cumulative diff view between file revisions (supports svn, git, mercurial, perforce).
Tabs Studio

- CodeContracts VS Tabs Studio

Visual Studio tab manager with multiple tab rows, tab coloring and tab grouping. [$]
ViEmu

- CodeContracts VS ViEmu

very powerful Vi/vim emulator for Visual Studio supporting all basic and many advanced features of vi/vim. [$]
Resharper

- CodeContracts VS Resharper

Developer Productivity Tool for Visual Studio [$]

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of CodeContracts or a related project?

Add another 'Visual Studio Plugins' Package

Popular Comparisons

README

CodeContracts

Source code for the CodeContracts tools for .NET

Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs.

The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. Code Contracts bring the advantages of design-by-contract programming to all .NET programming languages. We currently provide three tools:

Runtime Checking. Our binary rewriter modifies a program by injecting the contracts, which are checked as part of program execution. Rewritten programs improve testability: each contract acts as an oracle, giving a test run a pass/fail indication. Automatic testing tools, such as Pex, take advantage of contracts to generate more meaningful unit tests by filtering out meaningless test arguments that don't satisfy the pre-conditions.
Static Checking. Our static checker can decide if there are any contract violations without even running the program! It checks for implicit contracts, such as null dereferences and array bounds, as well as the explicit contracts.
Documentation Generation. Our documentation generator augments existing XML doc files with contract information. There are also new style sheets that can be used with Sandcastle so that the generated documentation pages have contract sections.