A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
- common-lisp
- eiffel
- postcondition
- preconditions
47,133 repositories indexed
1–2 of 2 · Most stars
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
A data serialization/contract library for common lisp