Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for invariants postconditions
invariants
x
postconditions
x
3 search results found
Decorator Contracts
⭐
13
Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.
Requirements.java
⭐
10
Fluent Design by Contract for Java APIs
Offensive.js
⭐
8
👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
Denuto
⭐
6
Design by contract for JavaScript
Requirements.js
⭐
6
Fluent Design by Contract for Javascript APIs
Related Searches
Preconditions Postconditions (8)
Contracts Invariants (8)
Javascript Invariants (8)
Design By Contract Invariants (7)
Invariants Preconditions (7)
Contracts Postconditions (7)
Design By Contract Postconditions (5)
Typescript Invariants (4)
Typescript Postconditions (3)
Java Invariants (3)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.