#

dbc

Here are 3 public repositories matching this topic...

php-deal / framework

Design by Contract framework for PHP

php invariants design-by-contracts contracts-programming preconditions dbc

Updated Mar 14, 2022
PHP

SerafimArts / Contracts

[WIP] Design by Contract library for PHP

php verify design-by-contracts contracts invariant dbc ensure

Updated Apr 2, 2022
PHP

andreamancuso / invariant-php

Native PHP extension for Design by Contract. Enforces class invariants with minimal runtime overhead.

php php-extension dbc designbycontract

Updated Mar 19, 2025
PHP

Improve this page

Add a description, image, and links to the dbc topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dbc topic, visit your repo's landing page and select "manage topics."