contracts-programming

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

[READ-ONLY] League URI common

Design by Contract framework for PHP

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

Framework for safe and maintainable web-projects.

D-inspired contract programming in Rust using macros

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

A Design by contract library for Haxe.

Contract programming for C++

👨‍🔧 on progress not complete

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

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

ContractPedia

Standalone MSBuild integration of CodeContracts (by Microsoft Research)

Introspectable Contracts Programming for JavaScript

Introspectable Contracts Programming for JavaScript

Ethereum based Lease Agreements

Examples c++20 contract programming

An implementation of a reactive GR(1) contract

Decorator style assertions and type check library for Contract programming