I am the main developer behind the Spotify API console. It was actually my first hack week project when I joined the company!
To answer your question, yes, the console is generated from the RAML that you linked. I haven’t checked yet, but it could be out of date since the maintainers of the API Console have to maintain two different repos where the RAML file lives (one internal, and the GitHub one you linked).
The backend is written in Python using the Flask framework, and some typical libraries like requests, Flask-Oauthlib, and PyYAML, among others.
What I’ve been doing is trying to release this as open source in three different parts: RAML parser, static documentation generator, and a form generator/application. The RAML parser is already open sourced, called RAMLfications. The static doc generator, griffin is also released, but it’s very alpha. The last part - the form generator/application - is not yet released.
Let me know if this helps, or if you have any other questions.