Awesome Open Source

Programming Languages

Search results for invariants preconditions

preconditions x

4 search results found

Framework ⭐ 251

Design by Contract framework for PHP

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.

Design by contract for JavaScript

Requirements.js ⭐ 6

Fluent Design by Contract for Javascript APIs

Related Searches

Preconditions Postconditions (9)

Contracts Invariants (8)

Javascript Invariants (8)

Design By Contract Preconditions (8)

Contracts Preconditions (7)

Design By Contract Invariants (7)

Invariants Postconditions (6)

Typescript Preconditions (5)

Java Preconditions (5)

Php Preconditions (4)

1-4 of 4 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.