GitHub repository: noxomix/vgl
Primary language: Coq
Description: OpenGL bindings for the V programming language