Fluent Design Contracts for Java Projects
-
Updated
Jan 25, 2026 - Java
#
postconditions
Here are 13 public repositories matching this topic...
👊 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
Aug 28, 2025 - TypeScript
Fluent Design by Contract for Javascript APIs
-
Updated
Aug 31, 2025 - TypeScript
A pure functional language written in words: a function carries its examples and postconditions, the compiler proves termination before anything runs and prints the checked program into C, C++, Go, Rust, Java, JavaScript, Elixir, Python or C#. Self-hosted; building it needs only cc and make.
programming-language compiler functional-programming dsl c99 transpiler proof-assistant category-theory formal-methods code-generation self-hosting formal-verification multi-target static-typing postconditions russian-language executable-specification termination-analysis totality-checking
-
Updated
Nov 1, 2026 - C
✔️ 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
Jun 10, 2025 - 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#
Preconditions, postconditions and invariants for C#, as ordinary code. Source-generated: no IL rewriter, no compiler fork, no cost in Release.
csharp roslyn dotnet property-based-testing contracts interceptors analyzers preconditions design-by-contract postconditions roslyn-generator source-generator
-
Updated
Oct 30, 2026 - C#
AgentVerify is an open source outcome verification for action-taking AI agents. It checks that high-risk actions reached the required final state in your systems of record and preserves the evidence in signed receipts.
-
Updated
Nov 1, 2026 - Rust
Standalone Java utility library for performing common checks/preconditions/validations.
java utility validation guava validations preconditions requirements validation-library postconditions java-11 java-21
-
Updated
Sep 5, 2025 - Java
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
Kata sobre modulos y tdd para practicar pytest, coverage y uso de módulos.
coverage modules tdd pytest error-handling preconditions parametrized-tests postconditions sudoku-checker pytest-markers
-
Updated
Nov 20, 2025 - Python
Add this topic to your repo
To associate your repository with the postconditions topic, visit your repo's landing page and select "manage topics."