Code Contracts for .NET Standard
-
Updated
Jun 10, 2017
Code Contracts for .NET Standard
Minimal contracts library
GO tools to assist with "programming by contract"
C++ tools to assist with "programming by contract"
Flawless Development Platform
A toy project. Attempt to use dynamic nature of Python to implement programming by contract.
CrowdFundChain is a decentralized crowdfunding platform built on blockchain technology. Empower users to create and support campaigns for various causes transparently and securely. Features include campaign creation, donation tracking, user campaign listings, and more.
Second semester programming course at CT ITMO: Java, JavaScript, Clojure.
Pythonic way to implement Protocol Oriented Programming inspired by Apple's Swift
Periodic ERC20 contract address polling to gather token holders and balances
Aplicación de Blockchain a situaciones de emergencias
An Spanish Air Traffic Control game where players control airplanes using the mouse to land them on a runway. Built in Java Swing, the project follows the MVP architecture, leveraging multithreading and concurrency for enhanced performance and realism.
Decorator style assertions and type check library for Contract programming
The C# integration testing library for self-initializing fakes and contract testing with MongoDB.
An implementation of a reactive GR(1) contract
Examples c++20 contract programming
A ruby dev contract generator - French,English / Générateur de contrat de dév Français, Anglais
Add a description, image, and links to the contracts-programming topic page so that developers can more easily learn about it.
To associate your repository with the contracts-programming topic, visit your repo's landing page and select "manage topics."