eiffel topic

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

sellout

Eiffel Web Framework -- Provide a common framework to build easily web server application in Eiffel (portable on various connector and platforms)

EiffelWebFramework

A simple website providing a basic reference manual for getting started with the Eiffel programming language.

carlfriess

Dynamic detection of likely invariants

codespecs