I'd add the recent Monolith to that list. It's pretty fantastic and a shmup of all things. I think procedurally generated games work better for me when they are bit-sized (i.e. Downwell or Crypt of the Necrodancer).Spelunky, Rogue Legacy, Downwell, Catacomb Kids, Vagante, Cave Blazers, Binding of Isaac, etc
The good ones are really good.