EiffelStudio was released under the GPL. You can read the press release here. Eiffel is an contract based object oriented programming language. More on the language at ECMA International standardization association.