eckart/SDL2-idris
SDL2 Bindings for the Idris programming language
Public GitHub Catalog
Discovered Oct 6, 2026
eckart / CS410-14
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
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.
#33408555GitHub 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