returned for Tags:"contract"
A simple code-contract class for validating method argument preconditions.
Simple Design by contract library supporting PreConditions and PostConditions
Restract.Contract contains all requeired classes for defining Restract proxy contracts.
SEEK Pact Based Stub Library
A library to allow stubbing of services while building integration or pact automated tests.
A library for building contract based execution flows, providing computational expression builder for the classic Async<Choice> where Choice is recrated as a Type called Result.
Collection of simple pieces of reusable code designed such that dependencies aren't forced upon consumers of its packages. Package is shipped as source code.
Digital Signature Service Protocol Client
Client for the "Digital Signature Service Protocol" as offered by e-Contract.be
NEO lightwallet / blockchain API for C#. Allows you to interact with smart contracts in the NEO blockchain.
This library provides guard clauses that could be used to guard against not expected values. It provides conditions for objects, strings, numerics, datatime and enumerables. It is possible to configure which exception should be thrown.
A class invariants helper library
Write easy fluent preconditions in methods of your code.
The library is provided as it is. Use at your own risk.
Annotations to declare the contracts in your code that support enhanced static analysis. This includes all the JetBrains.Annotations understood by any published version of ReSharper.
Core database library used for assisting with integrations tests that connect to databases.
Simple tools for validating input parameters
Data Contract Serializer Encryptor
This library will wrap an instance of DataContractSerializer to enable you to apply encrpytion to the serialization process.
NEO smart contract / blockchain emulator.