A tool for design-by-contract in Go
Repository Index
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 ™.
- common-lisp
- eiffel
- postcondition
- preconditions
47,133 repositories indexed
1–2 of 2 · Most stars
A tool for design-by-contract in Go
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.