Sir, You Are Being Hunted programmer Tom Betts created Permutation Racer, a procedurally generated racing game, using the same techniques used in Big Robot's other ongoing projects.
You can grab the game for free from the company's.
"In Permutation Racer you race against the clock to reach checkpoints, collecting stars (you can jump, don’t forget) and avoiding barriers or red spikes," explain Big Robot. "Because it’s all mathematically generated, every track is different. This is just a prototype, so it’s very simple, but we think you’ll enjoy it. You might even recognise some of the procedural geometries from other images we’ve posted from our Lodestone project."
The UK developer released procedurally-generated survival game Sir, You Are Being Hunted, in which you try to escape from well-spoken robot huntsmen, through Steam's Early Access last year. They are currently finishing up on that project, with exploration game Lodestone currently postponed until the former is polished and completed.