pbl64k/icfpc2015
My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.
Public GitHub Catalog
Discovered Oct 21, 2026
pbl64k / gpif-idris
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
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.
#41907340GitHub System ID
pbl64kOrganization / User
PublicVisibility
ActiveCatalog Status
More from pbl64k
pbl64k/recscheme
Free folds and unfolds over algebraic datatypes. (But the price tag on the free stuff can be a little daunting.)
pbl64k/moneyclock
Public repository.
pbl64k/FP101x-Content
FP101x - Functional Programming MOOC Content