microsoft / CodeContractsLinks
Source code for the CodeContracts tools for .NET
☆892Updated 6 years ago
Alternatives and similar repositories for CodeContracts
Users that are interested in CodeContracts are comparing it to the libraries listed below
Sorting:
- Refactoring Essentials for Visual Studio☆634Updated 4 years ago
- This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.☆1,453Updated 4 years ago
- Tool that uses Roslyn to automatically rewrite the source to follow our coding styles☆1,234Updated 3 years ago
- The MSBuild Community Tasks Project is an open source project for MSBuild tasks.☆952Updated last year
- Tools to let you use Roslyn-powered C# scripts for code generation☆619Updated 2 years ago
- Performance benchmarking and testing framework for .NET applications☆540Updated 10 months ago
- This repo contains .NET Portability Analyzer (VSIX and Console) libraries and tools☆991Updated 2 years ago
- Terse syntax C# command line parser for .NET with F# support☆1,623Updated 7 years ago
- This repo is no longer being used. The information that is here has been migrated to https://github.com/dotnet-foundation/website.☆1,009Updated 5 years ago
- Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic …☆715Updated 5 years ago
- A code coverage tool for .NET 2 and above (WINDOWS OS only), support for 32 and 64 processes with both branch and sequence points☆1,318Updated 3 years ago
- Build tools that are necessary for building the .NET Core projects☆475Updated 3 years ago
- A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.☆1,557Updated this week
- ☆1,657Updated this week
- A fail-fast validating helper for .NET CIL generation☆992Updated 4 years ago
- Write C# apps with a text editor, nuget and the power of Roslyn!☆2,483Updated 2 years ago
- A Dependency Injection/Inversion of Control tool for .NET☆907Updated 2 years ago
- A .NET library for carefully refactoring critical paths. It's a port of GitHub's Ruby Scientist library☆1,475Updated last year
- An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.☆1,134Updated last year
- A simple, strongly typed .NET C# command line parser library using a fluent easy to use interface☆538Updated 5 years ago
- LibLog is a single file for you to either copy/paste or install via nuget, into your library/framework/application to provide a logging a…☆931Updated 5 years ago
- ☆368Updated 4 years ago
- Making .NET open source accessible!☆555Updated 2 years ago
- Simple command line assembly reference checker☆655Updated 9 months ago
- Random Testing for .NET☆1,188Updated 3 weeks ago
- Source browser website generator that powers https://source.dot.net, https://referencesource.microsoft.com and https://sourceroslyn.io☆1,129Updated 7 months ago
- Machine.Specifications is a Context/Specification framework for .NET that removes language noise and simplifies tests.☆895Updated 2 months ago
- OBSOLETE - see readme☆963Updated 8 years ago
- Static interface to dynamic implementation (duck casting). Uses the DLR combined with Reflect.Emit.☆665Updated 6 months ago
- A dependency manager for .NET with support for NuGet packages and Git repositories.☆2,056Updated 8 months ago