pbl64k/gpif-idris
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
Public GitHub Catalog
Discovered Oct 20, 2026
pbl64k / icfpc2015
My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.
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.
#40480272GitHub 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