ku-fpg/aeson-gadts
GADT support for TH-based JSON-ification
Models of the Remote Monad
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
GADT support for TH-based JSON-ification
Hood debugger, based on the idea of observing functions and structures as they are evaluated.
Our Arduino experiments
A natural transformation package