design-by-contracts
Here are 16 public repositories matching this topic...
Introspectable Contracts Programming for JavaScript
-
Updated
Jan 6, 2017 - CoffeeScript
An acyclic visitor geometrically flavored.
-
Updated
Mar 6, 2017 - C++
Design by Contract mechanisms in Eiffel
-
Updated
Nov 14, 2018 - E
A decorator-based Python contracts/defensive programming library with no dependencies
-
Updated
Dec 2, 2018 - Python
A simple function emulating an interface so you can validate your argument objects.
-
Updated
Jun 17, 2019 - JavaScript
Library to apply Design By Contract on plain Java projects
-
Updated
Feb 10, 2021 - Java
Simple design by contract for crystal
-
Updated
May 5, 2021 - Crystal
-
Updated
Jul 4, 2021 - PHP
D-inspired contract programming in Rust using macros
-
Updated
Jul 6, 2021 - Rust
Modeling rich domains.
-
Updated
Oct 2, 2021 - C#
Design by Contract framework for PHP
-
Updated
Mar 14, 2022 - PHP
Small library that enforce design by contract approach in declarative manner
-
Updated
Feb 27, 2024 - C#
Contract programming for C++
-
Updated
Apr 15, 2024 - C++
Improve this page
Add a description, image, and links to the design-by-contracts topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the design-by-contracts topic, visit your repo's landing page and select "manage topics."