Thanks! It's actually a mixed of hand made and procedural generation inspired by how Spelunky generates levels as shown in this GMTK video (around 1:40). So it's a bunch of hand made rooms randomly arranged into a grid. All of the coins and keys are randomly scattered as well.