eckart/SDL2-idris
SDL2 Bindings for the Idris programming language
Public GitHub Catalog
Discovered Sep 28, 2026
eckart / fpinscala
Exercises, answers, and hints to go along with the book "Functional Programming in Scala"
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.
#12973644GitHub 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