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