Awesome Open Source

Programming Languages

Search results for postconditions

postconditions x

6 search results found

Quid Pro Quo ⭐ 78

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

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 (8)

Contracts Postconditions (7)

Invariants Postconditions (6)

Design By Contract Postconditions (5)

Typescript Postconditions (3)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

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