I'd be interested to know your procedural algorithm.
It's going to be a rough dungeon graph that decides how areas connect, and pre-made or pre-generated-then-polished areas will be placed together on it. It's not a true random dungeon, it's like Rogue. It's much harder to make a true random dungeon for a platformer. Honestly, this is one of my "low priority" things for coding, because it's not in my expertise. Things like AI and mechanics are where my programming ability shines the most, though I can make interfaces, displays, and state systems work pretty well.
So how close are you to having something playable?
All I have is some physics code and filler graphics right now, so it's a long time away. I'll have a demo of the platforming up later.
EDIT: Physics are going through an extremely heavy overhaul. Must have perfection. Expect an update within a week. If I'm bugged about it I'll make some drawings.