SmartEiffel the GNU Eiffel Compiler, Tools and Libraries
