eckart/agda-cufp
CUFP tutorial 2014
Public GitHub Catalog
Discovered Oct 7, 2026
eckart / SDL2-idris
SDL2 Bindings for the Idris programming language
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.
#35780394GitHub System ID
eckartOrganization / User
PublicVisibility
ActiveCatalog Status
More from eckart
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
eckart/CS410-14
being the materials for CS410 Advanced Functional Programming in the 2014-15 session