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 is based on the codebase of SmartEiffel, as the SmartEiffel team seems to have lost interest in the compiler and no more releases are expected.