contracts-programming topic
adhesion-rs
D-inspired contract programming in Rust using macros
deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
uri-interfaces
League URI Interfaces
framework
Design by Contract framework for PHP
djburger
Framework for safe and maintainable web-projects.
redux-prim
redux helper tool to abstract action and reducer with getDefaultState and updaters.
software-development-contract
👨🔧 on progress not complete
CodeContracts.MSBuild
Standalone MSBuild integration of CodeContracts (by Microsoft Research)
nim-contra
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
HaxeContracts
A Design by contract library for Haxe.