david-christiansen/derive-all-the-instances
Work on type class deriving with elaboration reflection
Public GitHub Catalog
Discovered Oct 7, 2026
david-christiansen / wl-pprint
An Idris port of wl-pprint
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.
#35514009GitHub System ID
david-christiansenOrganization / User
PublicVisibility
ActiveCatalog Status
More from david-christiansen
david-christiansen/idris-xml
A simple XML module for Idris.
david-christiansen/Brainfun
A Brainf**k interpreter in Idris
david-christiansen/QFeldspar-Idris
A port of QFeldspar to Idris