SmartEiffel

SmartEiffel (anciennement SmallEiffel) est l’implémentation GNU (donc libre) d’un compilateur, d’outils annexes et de bibliothèques pour le langage de programmation Eiffel que certains n’hésitent pas à qualifier de "meilleur langage objet du monde".

Voici ce que dit Wikipedia du langage Eiffel :

Eiffel est un langage de programmation orienté objet (OO) conçu par Bertrand Meyer.

Il implémente les principaux concepts d’un langage orienté objets (classes, héritage simple et multiple), ainsi que des concepts originaux, comme l’héritage de type (les types élémentaires héritent les uns des autres) et la programmation par contrat (assertion), qui est sa principale innovation. Il est toujours le seul langage implémentant en standard les concepts de programmation par contrat.

Développé avant tout sous Unix/Linux, il existe également un exécutable Windows.