Contract programming for C++
-
Updated
Apr 15, 2024 - C++
Contract programming for C++
👨🔧 on progress not complete
🤝 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
Ethereum based Lease Agreements
Standalone MSBuild integration of CodeContracts (by Microsoft Research)
redux helper tool to abstract action and reducer with getDefaultState and updaters.
Framework for safe and maintainable web-projects.
从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value),并编写界面进行展示。
契约测试框架。A TypeScript Contract Test for Interface base project.
ContractPedia
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
A Design by contract library for Haxe.
A ruby dev contract generator - French,English / Générateur de contrat de dév Français, Anglais
Periodic ERC20 contract address polling to gather token holders and balances
Examples c++20 contract programming
Aplicación de Blockchain a situaciones de emergencias
Code Contracts for .NET Standard
Minimal contracts library
Add a description, image, and links to the contracts-programming topic page so that developers can more easily learn about it.
To associate your repository with the contracts-programming topic, visit your repo's landing page and select "manage topics."