postcondition topic
List
postcondition repositories
quid-pro-quo
92
Stars
9
Forks
Watchers
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
decorator-contracts
15
Stars
2
Forks
Watchers
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 t...