Pylon is a compact foundation library for writing portable Eiffel software. It provides the classic data structures (lists, stacks, queue, sets and various tables) with associated access objects like iterators. Other useful clusters provided include: date and time, a simple portable serialisation facility, along with a few other utilities for number formatting and string parsing.
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.