Icelandjack

deriving-via. Deriving via

Capabilities. A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.

derivingvia-extras. Miscellaneous via types.

idiomatic. Deriving Applicative for sum types.. Idiomatically.

TySh. Typed Shell with structured data representation.

HRC. Hierarchical Relay Chat

stock. Haskell

Image-type. Gets type of image.

blockchain. Idris

popl2018-papers. Link to preprints for POPL'18 and colocated events

FHE. Haskell

explicit-generics. Pattern matching on the representation from GHC.Generics without type classes.

Shrinking-and-Showing-Functions. Functional Pearl: Shrinking and Showing Functions

elisp. Donnie's Emacs configuration files

ghc-proposals. Proposed compiler and language changes for GHC and GHC/Haskell