LibertyEiffel

{{refimprove|date=March 2013}}

{{Infobox software

| name = Liberty Eiffel

| screenshot =

| caption =

| developer = The Liberty Eiffel Team{{clarify|date=January 2015}}

| latest_release_version = Bell (2016.05, named after Alexander Graham Bell)

| latest_release_date = {{Start date and age|2016|05|26}}

| operating_system = Cross-platform

| genre = compiler

| license = GPL

| website = {{URL|www.liberty-eiffel.org}}

}}

Liberty Eiffel is the free GNU 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.{{cite web|title=SmartEiffel The GNU Eiffel Compiler: Research papers|url=http://smarteiffel.loria.fr/papers/papers.html|publisher=INRIA, France|access-date=28 October 2014|archive-date=21 March 2015|archive-url=https://web.archive.org/web/20150321022920/http://smarteiffel.loria.fr/papers/papers.html|url-status=dead}}

Liberty Eiffel depends on the work of the legacy SmartEiffel compiler, which was considered complete by 2007, forking their code base in 2005 to continue its development towards the disputed ECMA TC39-TG4 (now TC49-TG4) standard for the language.[http://wiki.liberty-eiffel.org/index.php/Introduction Introduction to Liberty Eiffel]