A tool for extracting information from the OpenGL API Registry - View it on GitHub