A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
-
Updated
Jun 26, 2018 - Common Lisp
#
postcondition
Here are 8 public repositories matching this topic...
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™.
overrides solid decorators precondition postcondition invariant assertion rescue encapsulation liskov-substitution-principle exception-handling code-contracts design-by-contract requires demands behavioral-subtyping organized-panic material-implication if-and-only-if
-
Updated
Feb 7, 2026 - TypeScript
Design by contract for JavaScript
-
Updated
Mar 5, 2018 - JavaScript
A require-ensure-library for contract-programming with pre- and postconditions in golang
golang validation assertions contract safety golang-library precondition postcondition dbc design-by-contract
-
Updated
Aug 7, 2026 - Go
Simple and fast contract checks
-
Updated
Jun 26, 2026 - Java
Minimal contracts library
-
Updated
Oct 24, 2021 - C++
Hooks before/after any method call
-
Updated
Aug 17, 2019 - PHP
Claims are cheap. Proofspec makes them executable — evidence contracts, claim graphs, hash-chained receipts, CI gates, reports, and MCP for public software claims.
readme ci mcp provenance developer-tools postcondition software-verification ai-agents evidence model-context-protocol
-
Updated
Jul 17, 2026 - TypeScript
Add this topic to your repo
To associate your repository with the postcondition topic, visit your repo's landing page and select "manage topics."