pbl64k/hack-playground
Public repository.
A solver for Kaggle's Travelling Santa competition.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.