contracts-programming
There are 38 repositories under contracts-programming topic.
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
thephpleague/uri-interfaces
[READ-ONLY] League URI common
php-deal/framework
Design by Contract framework for PHP
SijieCai/redux-prim
redux helper tool to abstract action and reducer with getDefaultState and updaters.
orsinium-archive/djburger
Framework for safe and maintainable web-projects.
ErichDonGubler/adhesion-rs
D-inspired contract programming in Rust using macros
juancarlospaco/nim-contra
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
ciscoheat/HaxeContracts
A Design by contract library for Haxe.
AppsLab-KE/software-development-contract
👨🔧 on progress not complete
boostorg/contract
Contract programming for C++
phodal/mest
契约测试框架。A TypeScript Contract Test for Interface base project.
itenfay/grab_ethtoken_info
从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value),并编写界面进行展示。
vasa-develop/ContractPedia
ContractPedia
Igorbek/CodeContracts.MSBuild
Standalone MSBuild integration of CodeContracts (by Microsoft Research)
jonnor/agree
Introspectable Contracts Programming for JavaScript
anudishjain/CharterContracts
Ethereum based Lease Agreements
kofronpi/contracts-fr-en
A ruby dev contract generator - French,English / Générateur de contrat de dév Français, Anglais
valmat/cpp20-contracts-examples
Examples c++20 contract programming
tungminhphan/reactive_contracts
An implementation of a reactive GR(1) contract
Aserturik/Air-Trafic-Control
An Spanish Air Traffic Control game where players control airplanes using the mouse to land them on a runway. Built in Java Swing, the project follows the MVP architecture, leveraging multithreading and concurrency for enhanced performance and realism.
danielvoweb/paper-test
The C# integration testing library for self-initializing fakes and contract testing with MongoDB.
Karthik-02/crowdfundchain
CrowdFundChain is a decentralized crowdfunding platform built on blockchain technology. Empower users to create and support campaigns for various causes transparently and securely. Features include campaign creation, donation tracking, user campaign listings, and more.
rike422/moguro
Decorator style assertions and type check library for Contract programming
psiofxt/eth-token-scraper
Periodic ERC20 contract address polling to gather token holders and balances
SergioFerrera/dapp_emergency_situations
Aplicación de Blockchain a situaciones de emergencias
digitalmensch/contrapy
Contracts for Python
harshit433/Aarogya-Bharat-Blockchain-project
Aarogya Bharat is a web3 project which utilizes Tezos blockchain technology to securely store and manage patients' medical histories in the cloud. This cutting-edge project aims to revolutionize medical record-keeping with enhanced security and efficiency through blockchain's immutable and decentralized features.
klappdev/snitch
Java contract library based on AspectJ
klassen-software-solutions/gocontract
GO tools to assist with "programming by contract"
mgasil/dbackup
Simple backup utility
shvetsovart/paradigms-of-programming
Second semester programming course at CT ITMO: Java, JavaScript, Clojure.
jdgarciauc3m/min-contracts
Minimal contracts library
jferard/python-toy-contract
A toy project. Attempt to use dynamic nature of Python to implement programming by contract.
klassen-software-solutions/ksscontract
C++ tools to assist with "programming by contract"
llehn/Contracts4Net
Code Contracts for .NET Standard