Wikipedia
Lisaac
Lisaac is a statically typed prototype-based language conceived by Benoît Sonntag, in which the Isaac operating system is being written.
The developers of Lisaac also included features such as dynamic inheritance from Self and contract programming from Eiffel. Despite being statically typed, it also shows homoiconic properties. The Lisaac transpiler produces optimized ANSI C code. Compiling results show that it is possible to obtain executables from a high-level prototype-based language that are as fast as C programs.