icelandjack Goto Github PK

adjunctions

Simple adjunctions

aeson

A fast Haskell JSON library

agda-stdlib

The Agda standard library

applicative-quoters

Quasiquoters for working with Control.Applicative, taken from haskell-src-meta

articles

Miscellaneous articles. The readme is the table of contents.

async

Run IO operations asynchronously and wait for their results

bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

blockchain

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

cabal

Official upstream development repository for Cabal and cabal-install

capabilities

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

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

cardstarter-bulk-airdrop-script

constraints

Tools for programming with ConstraintKinds in GHC

containers

Assorted concrete container types

cryptography

deepseq

Deep evaluation of data structures

deriving-via

Deriving via

derivingvia-extras

Miscellaneous via types.

distributive

Dual Traversable

dlist

Difference lists in Haskell

dunai

Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions

elisp

Donnie's Emacs configuration files

emacs

Mirror of GNU Emacs

emacs-1

My clone of GNU Emacs

eveff

Efficient Haskell effect handlers based on evidence translation.

explicit-generics

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

fhe

flat

Principled and efficient binary serialization