Pinned Repositories
Capabilities
A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.
deriving-via
Deriving via
derivingvia-extras
Miscellaneous via types.
idiomatic
Deriving Applicative for sum types.. Idiomatically.
Icelandjack's Repositories
Icelandjack/TySh
Typed Shell with structured data representation.
Icelandjack/HRC
Hierarchical Relay Chat
Icelandjack/elisp
Donnie's Emacs configuration files
Icelandjack/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
Icelandjack/containers
Assorted concrete container types
Icelandjack/Cryptography
Icelandjack/formatting
Format strings type-safely with combinators
Icelandjack/linear
Low-dimensional linear algebra primitives for Haskell.
Icelandjack/monad-par
Icelandjack/omega
Icelandjack/org-mode
Icelandjack/popl2016-papers
Links to publicly available preprints for the POPL'16 conference
Icelandjack/propagators
The Art of the Propagator
Icelandjack/queue
df
Icelandjack/reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms
Icelandjack/Shell
Shell
Icelandjack/stack
The Haskell Tool Stack
Icelandjack/stm-containers
Containers for STM
Icelandjack/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
Icelandjack/type-aligned
Various type-aligned sequence data structures.