Eiffel projects and snippets