🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Design by Contract framework for PHP
翻译 - 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.
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)，并编写界面进行展示。
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