pbl64k/gpif-datakinds
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
Public GitHub Catalog
Discovered Oct 1, 2026
pbl64k / coursera-progfun-faqs
Community FAQs for Functional Programming Principles in Scala class on Coursera.
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.
#20656998GitHub System ID
pbl64kOrganization / User
PublicVisibility
ActiveCatalog Status
More from pbl64k
pbl64k/gpif-idris
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
pbl64k/icfpc2015
My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.
pbl64k/recscheme
Free folds and unfolds over algebraic datatypes. (But the price tag on the free stuff can be a little daunting.)