Native PHP extension for Design by Contract. Enforces class invariants with minimal runtime overhead.
-
Updated
Mar 19, 2025 - PHP
#
designbycontract
Here are 10 public repositories matching this topic...
NContract - a design by contract library for .NET
-
Updated
Jan 27, 2023 - C#
Automatic invariant enforcement for Python classes using Design by Contract (DbC). Ensures objects stay in a valid state before and after method calls.
-
Updated
Mar 20, 2025 - Python
Proyecto en el que se ejemplifica el empleo del Diseño Por Contrato en Java utilizando para ello la biblioteca Cofoja.
-
Updated
Jul 19, 2017 - Java
-
Updated
Jul 20, 2018 - Java
Improve this page
Add a description, image, and links to the designbycontract topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the designbycontract topic, visit your repo's landing page and select "manage topics."