🤝 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
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