I am currently working on an Eiffel framework for game development, and a game that uses it. This framework will provide architectural support for game development, including an Eiffel interface to SDL, sprites, collision detection, adaptive frame timing, graphical animations with associated audio, management of game modes, persistent high-score tables, etc. I intend to release this under the GPL.