ku-fpg/aeson-gadts
GADT support for TH-based JSON-ification
Hood debugger, based on the idea of observing functions and structures as they are evaluated.
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
Models of the Remote Monad
Our Arduino experiments
A natural transformation package