Launchpad: A Rhythm-Based Level Generator for 2-D Platformers
Procedural level design for platform games