preconditions

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.

Fluent Design Contracts for Java Projects

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

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

Move the verdict outside the model. Slot-based preconditions for irreversible tool calls — execution reads a verdict record, never a conditional.

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

Guard clause assertion library to enforce parameter preconditions in PHP

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

Small library that enforce design by contract approach in declarative manner 🤝🏻