eckart/gl-idris
Public repository.
Public GitHub Catalog
Discovered Oct 6, 2026
eckart / MetaprogAgda
being the materials for Summer 2013's course
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.
#33408563GitHub System ID
eckartOrganization / User
PublicVisibility
ActiveCatalog Status
More from eckart
eckart/SDL2-idris
SDL2 Bindings for the Idris programming language
eckart/agda-cufp
CUFP tutorial 2014
eckart/MGS14
being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham