Starting from an Eiffel source program, generates the corresponding C code and then the executable. This is probably the command you want to use. More about compile here.

The Eiffel to C compiler itself. You do not generally invoke it explicitely. More about compile_to_c here.

The Eiffel to Java bytecode compiler. Starting from an Eiffel source program, generates the corresponding .class files. More about compile_to_jvm here.

Eiffel interface extraction tool. Can generate documentation using different formats (ASCII, HTML, etc.) More about short here.

Eiffel pretty printer. More about pretty here.

Used to find Eiffel source files according to the system configuration. More about finder here.

Used to clean Eiffel project directories. More about clean here.

Java bytecode disassembler and pretty printer. We find it more convenient than javap. More about print_jvm_class here.