Contract programming for C++
-
Updated
Aug 14, 2024 - C++
#
design-by-contracts
Here are 16 public repositories matching this topic...
Small library that enforce design by contract approach in declarative manner 🤝🏻
-
Updated
Feb 27, 2024 - C#
Design by Contract framework for PHP
-
Updated
Mar 14, 2022 - PHP
Modeling rich domains.
-
Updated
Oct 2, 2021 - C#
D-inspired contract programming in Rust using macros
-
Updated
Jul 6, 2021 - Rust
-
Updated
Jul 4, 2021 - PHP
Simple design by contract for crystal
-
Updated
May 5, 2021 - Crystal
Library to apply Design By Contract on plain Java projects
-
Updated
Feb 10, 2021 - Java
A simple function emulating an interface so you can validate your argument objects.
-
Updated
Jun 17, 2019 - JavaScript
A decorator-based Python contracts/defensive programming library with no dependencies
-
Updated
Dec 2, 2018 - Python
Design by Contract mechanisms in Eiffel
eiffel
eiffelstudio
matrix-functions
design-by-contracts
requirements-tracing
gaussian-elimination
eiffel-programming-language
design-by-contract
stable-marriage
matrix-inversion
stable-marriage-problem
stable-matching-problem
-
Updated
Nov 14, 2018 - E
An acyclic visitor geometrically flavored.
-
Updated
Mar 6, 2017 - C++
Introspectable Contracts Programming for JavaScript
-
Updated
Jan 6, 2017 - CoffeeScript
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."