Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with postcondition

A curated list of projects in awesome lists tagged with postcondition .

https://github.com/sellout/quid-pro-quo

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

common-lisp design-by-contract eiffel postcondition preconditions

Last synced: 03 Apr 2026

https://github.com/final-hill/decorator-contracts

Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.

assertion behavioral-subtyping code-contracts decorators demands design-by-contract encapsulation exception-handling if-and-only-if invariant liskov-substitution-principle material-implication organized-panic overrides postcondition precondition requires rescue solid

Last synced: 04 Mar 2026

https://github.com/io7m-com/jaffirm

Simple and fast contract checks

contract invariant postcondition precondition

Last synced: 24 Apr 2025