Derek Yu's Spelunky hits 1.0

free procedurally-generated platformer for Windows, highly recommended