eckart/gl-idris
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
eckart / idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
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.
#16647708GitHub 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/MetaprogAgda
being the materials for Summer 2013's course