This is pretty cool. It shows you how spelunky procedurally generates levels and ensures they can be completed by the player.

Unfortunately, it only works in Chrome.