goldfirere/th-lift
Derive Template Haskell's Lift class for datatypes.
Public GitHub Catalog
Discovered Sep 28, 2026
goldfirere / dragon
A home for the Coq files in an attempt to defeat the dragon in the axioms paper.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#11876886GitHub System ID
goldfirereOrganization / User
PublicVisibility
ActiveCatalog Status
More from goldfirere
goldfirere/nyc-hug-oct2014
Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
goldfirere/HUnit-approx
A small Haskell package allowing comparison of floating point values with HUnit
goldfirere/units-defs
Public repo for the units-defs package of well-typed unit definitions.