Liberty Eiffel is a freeEiffelcompiler. 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 is based on the codebase of SmartEiffel, as the SmartEiffel team[who?] seems to have lost interest[opinion] in the compiler and no more releases are expected.
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.