Sign in

Repository Index

59,621 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

601–624 of 1,298 · Most stars

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

  • common-lisp
  • eiffel
  • postcondition
  • preconditions