GitHub repository: ECburx/Idris2GL
Primary language: Idris
Description: A Graphics Library for Idris 2.