EiffelStudio is an IDE for the Eiffel language (ECMA-367, ISO/IEC 25436). It has: an Eiffel compiler, an Eiffel GUI editor, a refactoring tool, Eiffel analysis tools and Eiffel libraries. Eiffel applies O-O principles and Design by Contract for quality. http://www.eiffel.com
The Eiffel Developers Project (EDP) is an IDE (Integrated Development Environment) for browsing, editing, validating and (eventually) compiling and executing programs written in Eiffel on Linux and Windows on Intel/AMD.