Fluent Design Contracts for Java Projects
-
Updated
Mar 10, 2025 - Java
#
postconditions
Here are 8 public repositories matching this topic...
Fluent Design by Contract for Javascript APIs
-
Updated
Feb 14, 2025 - TypeScript
👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
javascript boilerplate library typescript dsl crash-reports fail-fast assertions contract error-messages invariants duck-typing offensive preconditions error-reporting defensive postconditions
-
Updated
Jun 16, 2024 - TypeScript
✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.
python python-library assertions software-quality python-decorators preconditions dbc design-by-contract postconditions pypi-package error-checking code-maintainability code-validation
-
Updated
May 21, 2024 - Python
Validation library inspired by the concepts of Secure by Design, by Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano (MEAP 2019 Manning Publications).
-
Updated
May 12, 2022 - C#
Small library that enforce design by contract approach in declarative manner 🤝🏻
-
Updated
Feb 27, 2024 - C#
Code Contracts and debugging put together.
-
Updated
Mar 13, 2017 - C#
Rivar is a minimal, contract-first, class-based programming language inspired by Eiffel.
programming-language parser ocaml syntax-tree language-design preconditions dbc design-by-contract postconditions software-correctness experimental-language class-invariants
-
Updated
Apr 1, 2025 - OCaml
Improve this page
Add a description, image, and links to the postconditions topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the postconditions topic, visit your repo's landing page and select "manage topics."