LibertyEiffel

Liberty Eiffel is a free Eiffel compiler. The compiler translates Eiffel code to C. Hence it can be used to write programs that run on virtually any platform for which an ANSI C compiler exists. Liberty Eiffel uses type inference to make it possible to implement a more efficient compiler.
Liberty Eiffel continued the work of SmartEiffel, which has not been updated since 2007, forking their code base in 2005 to continue its development towards the disputed ECMA TC39-TG4 (now TC49-TG4) standard for the language.
History.
Liberty Eiffel started as an Open Source version of Eiffel, first named SmallEiffel in 1994, then named SmartEiffel. In June 2013, the forked project Liberty Eiffel became the official GNU compiler for the Eiffel programming language.