🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

• UpdatedJul 2, 2025
• Python

League URI Interfaces

• UpdatedJun 10, 2025
• PHP

Design by Contract framework for PHP

• UpdatedMar 14, 2022
• PHP

redux helper tool to abstract action and reducer with getDefaultState and updaters.

• UpdatedMay 29, 2023
• TypeScript

Framework for safe and maintainable web-projects.

• UpdatedFeb 12, 2020
• Python

D-inspired contract programming in Rust using macros

• UpdatedJul 6, 2021
• Rust

Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.

• UpdatedJan 26, 2022
• Nim

A Design by contract library for Haxe.

• UpdatedAug 9, 2022
• Haxe

Contract programming for C++

• UpdatedJun 8, 2025
• C++

👨‍🔧 on progress not complete

• UpdatedApr 4, 2020

契约测试框架。A TypeScript Contract Test for Interface base project.

• UpdatedApr 10, 2018
• TypeScript

从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value)，并编写界面进行展示。

• UpdatedMay 14, 2024
• Dart

ContractPedia

• UpdatedJul 16, 2018

Standalone MSBuild integration of CodeContracts (by Microsoft Research)

• UpdatedSep 11, 2019
• C#

Introspectable Contracts Programming for JavaScript

• UpdatedJan 6, 2017
• CoffeeScript

Ethereum based Lease Agreements

• UpdatedJun 12, 2019
• JavaScript

Examples c++20 contract programming

• UpdatedMar 15, 2019
• C++

A ruby dev contract generator - French,English / Générateur de contrat de dév Français, Anglais

• UpdatedFeb 19, 2017
• Ruby

An implementation of a reactive GR(1) contract

• UpdatedNov 13, 2020
• Python

The C# integration testing library for self-initializing fakes and contract testing with MongoDB.

• UpdatedFeb 7, 2021
• C#