CodeContracts

Source code for the CodeContracts tools for .NET (by microsoft)
Add to my DEV experience Visual Studio Plugins

DISCONTINUED

Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Sponsored

CodeContracts Alternatives

Similar projects and alternatives to CodeContracts

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better CodeContracts alternative or higher similarity.
Suggest an alternative to CodeContracts

CodeContracts reviews and mentions

Posts with mentions or reviews of CodeContracts. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-10-27.
  • Remembering Bell Labs as legendary idea factory prepares to leave N.J. home
    1 project | news.ycombinator.com | 21 Jan 2024
    compile-time part of system could support any assertion represented as a pure-function - think of it as C#'s take on Ada's assertions, improved tenfold, and it even shipped for a now-unsupported older version of C# and .NET: https://learn.microsoft.com/en-us/dotnet/framework/debug-tra...

    ...and it was axed in .NET Core back in 2016 and hasn't been seen since: https://github.com/microsoft/CodeContracts/issues/409

    Had Microsoft put more backing behind it, then C# could present itself as a language to supplant Ada in safety-critical applications, and replace C/C++ in other applications.

    I have hope the feature will come back one-day - there are whole slews of bugs that can be eliminated (such as when passing EF entity types around with unintentionally null member-properties).

  • Lean4 helped Terence Tao discover a small bug in his recent paper
    10 projects | news.ycombinator.com | 27 Oct 2023
    Code correctness is a lost art. I requirement to think in abstractions is what scares a lot of devs to avoid it. The higher abstraction language (formal specs) focus on a dedicated language to describe code, whereas lower abstractions (code contracts) basically replace validation logic with a better model.

    C# once had Code Contracts[1]; a simple yet powerful way to make formal specifications. The contracts was checked at compile time using the Z3 SMT solver[2]. It was unfortunately deprecated after a few years[3] and once removed from the .NET Runtime it was declared dead.

    The closest thing C# now have is probably Dafny[4] while the C# dev guys still try to figure out how to implement it directly in the language[5].

    [1] https://www.microsoft.com/en-us/research/project/code-contra...

    [2] https://github.com/Z3Prover/z3

    [3] https://github.com/microsoft/CodeContracts

    [4] https://github.com/dafny-lang/dafny

    [5] https://github.com/dotnet/csharplang/issues/105

  • #if WINDOWS : use GetAsncyKeyState
    1 project | /r/dotnetMAUI | 15 Nov 2022
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 25 Apr 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Stats

Basic CodeContracts repo stats
3
850
0.0
over 5 years ago

microsoft/CodeContracts is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

The primary programming language of CodeContracts is C#.

Popular Comparisons

  1. CodeContracts VS Git Diff Margin
  2. CodeContracts VS OzCode
  3. CodeContracts VS Refactoring Essentials
  4. CodeContracts VS Side-Waffle
  5. CodeContracts VS VSColorOutput
  6. CodeContracts VS Web Essentials
  7. CodeContracts VS AxoCover
  8. CodeContracts VS Productivity Power Tools
  9. CodeContracts VS Unchase.Odata.Connectedservice
  10. CodeContracts VS Roslynator

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com