Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for design by contract invariants
design-by-contract
x
invariants
x
2 search results found
Deal
⭐
682
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
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™.
Agree
⭐
13
Introspectable Contracts Programming for JavaScript
Requirements.java
⭐
10
Fluent Design by Contract for Java APIs
Requirements.js
⭐
6
Fluent Design by Contract for Javascript APIs
Related Searches
Contracts Design By Contract (22)
Contracts Invariants (8)
Javascript Invariants (8)
Design By Contract Contracts Programming (8)
Design By Contract Preconditions (7)
Dbc Design By Contract (7)
Java Design By Contract (7)
Invariants Preconditions (7)
Programming Design By Contract (7)
Python Design By Contract (6)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.