EiffelStudio is an IDE for the Eiffel language (ECMA-367, ISO/IEC 25436, and ACM Software System Award 2006). It includes: Eiffel compiler, Eiffel editor, Eiffel code browsing tool, Eiffel testing tool, graphical design tool, refactoring tool, debugger, profiler, and Eiffel analysis tools (Metrics, Dependencies, etc.). Eiffel generates C or CLI for .NET or Mono. Eiffel applies O-O principles and Design by Contract for high-quality software. Many Eiffel libraries are included: ADT, network, GUI, database, parsing (including an Eiffel parser), XML, Web, COM, and more.
EDA is an Eiffel implementation of the General Decimal Arithmetic Specification. It allows unlimited precision decimal arithmetic. By implementing the GDA Specification version 1.08, the library conforms to the requirements of the ANSI/IEEE standard 854-1987, while supporting integer and unrounded floating-point arithmetic as a subset. EDA is part of the SAFE project.