League URI Interfaces
Design by Contract framework for PHP
redux helper tool to abstract action and reducer with getDefaultState an...
Framework for safe and maintainable web-projects.
D-inspired contract programming in Rust using macros
Lightweight Self-Documenting Design by Contract Programming and Security...
A Design by contract library for Haxe.
Contract programming for C++
契约测试框架。A TypeScript Contract Test for Interface base project.