Infinite Tux - 4GamesList
Infinite Tux is a 2D platformer that has levels procedurally generated every time it's played.