It is a free eiffel compiler started from SmartEiffel code base. Its goal is to retain its predecessor's rigour, but not its rigidity.
Think of Liberty Eiffel as SE liberated from its academic constraints. More...