https://github.com/life4/deal

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

contracts contracts-programming dbc deal decorators design-by-contract flake8 functional-programming hacktoberfest interface invariant linter mypy property-based-testing python pythonic refinement-types testing typing validation

Last synced: 26 Mar 2025

https://github.com/thephpleague/uri-interfaces

League URI Interfaces

contracts-programming php uri uri-interfaces

Last synced: 18 Jun 2025

https://github.com/php-deal/framework

Design by Contract framework for PHP

contracts-programming dbc design-by-contracts invariants php preconditions

Last synced: 13 Jan 2026

https://github.com/sijiecai/redux-prim

redux helper tool to abstract action and reducer with getDefaultState and updaters.

abstraction contracts-programming data-driven react redux reusability

Last synced: 17 Aug 2025

https://github.com/orsinium-archive/djburger

Framework for safe and maintainable web-projects.

api cbv clean-code contracts-programming decorators design-by-contract django django-rest-framework marshmallow mvc mvc-framework parse python rest rest-api restful-api scheme solid validation validator

Last synced: 12 Mar 2025

https://github.com/erichdongubler/adhesion-rs

D-inspired contract programming in Rust using macros

contract-testing contracts-programming design-by-contract design-by-contracts design-patterns rust

Last synced: 17 Mar 2025

https://github.com/juancarlospaco/nim-contra

Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.

assertion-library compiletime contracts contracts-programming design-by-contract hardened hardening immutable immutable-objects javascript nim nim-lang nimscript security-hardening self-test testing-framework testing-tools

Last synced: 22 Mar 2025

https://github.com/ciscoheat/haxecontracts

A Design by contract library for Haxe.

contracts-programming design-by-contract haxe

Last synced: 15 Jan 2026

https://github.com/boostorg/contract

Contract programming for C++

boost contract contracts contracts-programming design-by-contract design-by-contracts

Last synced: 10 Apr 2025

https://github.com/phodal/mest

契约测试框架。A TypeScript Contract Test for Interface base project.

contract-testing contracts-programming e2e-testing e2e-tests test testing testing-tools

Last synced: 08 Nov 2025

https://github.com/itenfay/grab_ethtoken_info

从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value)，并编写界面进行展示。

balance blockchain blockchain-technology contract contracts-programming dart dart-etherscan eth ethereum flutter flutter-app flutter-demo symbol token wallet-address

Last synced: 13 Jul 2025

https://github.com/vasa-develop/contractpedia

ContractPedia

bitcoin blockchain contracts-programming ethereum smart-contracts solidity

Last synced: 28 Apr 2025

https://github.com/igorbek/codecontracts.msbuild

Standalone MSBuild integration of CodeContracts (by Microsoft Research)

codecontracts contracts-programming dotnet microsoft msbuild

Last synced: 14 Apr 2025

https://github.com/jonnor/agree

Introspectable Contracts Programming for JavaScript

contracts contracts-programming design-by-contracts invariants javascript

Last synced: 26 Jun 2025

https://github.com/anudishjain/chartercontracts

Ethereum based Lease Agreements

blockchain contracts-programming dapp ethereum ethereum-contract ethereum-dapp ethereum-rent rental-contracts rentals rentalsystem smart-contracts solidity solidity-contracts solidity-dapps solidity-language

Last synced: 10 Apr 2025

https://github.com/danielvoweb/paper-test

The C# integration testing library for self-initializing fakes and contract testing with MongoDB.

automated-testing contract-testing contracts-programming integration-testing self-initializing-fakes

Last synced: 14 Jan 2026

https://github.com/jferard/python-toy-contract

A toy project. Attempt to use dynamic nature of Python to implement programming by contract.

contracts-programming metaclasses python-3 toy-project

Last synced: 10 Mar 2025

https://github.com/phuhao00/sui-learning

contracts-programming game move sui

Last synced: 18 Sep 2025

https://github.com/klappdev/snitch

Java contract library based on AspectJ

aspectj contracts-programming java

Last synced: 28 Oct 2025