eckart/SDL2-idris
SDL2 Bindings for the Idris programming language
Public GitHub Catalog
Discovered Oct 14, 2026
eckart / gl-idris
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#37221091GitHub System ID
eckartOrganization / User
PublicVisibility
ActiveCatalog Status
More from eckart
eckart/agda-cufp
CUFP tutorial 2014
eckart/MetaprogAgda
being the materials for Summer 2013's course
eckart/MGS14
being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham