eiffel-community/eiffel

The Eiffel framework vocabulary, descriptions, guides and schemas along with links to relevant implementation repositories.