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