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–3 of 3 · Most stars
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
Common Lisp UUID library with zero dependencies
The public release of the Babel2 framework, a framework for Fluid Construction Grammar, multi-agent experiments and Incremental Recruitment Language.