Design by Contract framework for PHP

List of HTTP status codes and description for each of them, with reference when have.

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

A lightweight .NET library for expressive Guard Clauses.

A QTI (Question & Test Interoperability) Software Development Kit for PHP

Utility extensions to boost your programming with Kotlin.

Preconditions.NET provides convenience static methods to help check that a method or a constructor is invoked with proper parameter or not.

Fluent Design Contracts for Java Projects

Tiny library for fluent guard and assert expressions to formalize preconditions of methods

A value checking library for Java (DbC, validations, and test assertioins)

👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.

Fluent Design by Contract for Javascript APIs

idiomatic kotlin preconditions for spring boot REST API's

✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.

Visualised process of the weakest precondition's computing

Guard clause assertion library to enforce parameter preconditions in PHP

A small and simple preconditions library for Node and the browser.

📦 Require Expressions - A pre-condition checks library for .Net via extensions methods on types.

Validation library inspired by the concepts of Secure by Design, by Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano (MEAP 2019 Manning Publications).

Preconditions for PHP is a static util class providing an assert like framework.