Code Contracts for .NET Standard
-
Updated
Jun 10, 2017
Code Contracts for .NET Standard
Minimal contracts library
Introspectable Contracts Programming for JavaScript
GO tools to assist with "programming by contract"
C++ tools to assist with "programming by contract"
An implementation of a reactive GR(1) contract
Decorator style assertions and type check library for Contract programming
Flawless Development Platform
D-inspired contract programming in Rust using macros
A toy project. Attempt to use dynamic nature of Python to implement programming by contract.
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.
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.
The C# integration testing library for self-initializing fakes and contract testing with MongoDB.
Pythonic way to implement Protocol Oriented Programming inspired by Apple's Swift
Examples c++20 contract programming
Aplicación de Blockchain a situaciones de emergencias
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."