kosmikus

SSGEP

ghc-compact-holes

GHC patched with the -fcompact-holes flag

cufp-tutorial-2016

Materials for the CUFP 2016 tutorial on Generic and Type-Level Programming using generics-sop

safeint

zipper

session-types-regensburg

optics-regensburg

simplediff-sop

sop-haskellx-2017

munihac-mastermind

Solution template

sop-haskellx-bytes-2017

Talk about generics-sop at HaskellX Bytes, Skills Matter, May 2017

type-inference-regensburg

inspection-testing-example

munihac-islist

munihac-types

roundtrip-regensburg

segfault-investigation

cabal

Official upstream development repository for Cabal and cabal-install

concat

Constrained categories

containers

Assorted concrete container types

deriving-via

Deriving via

exhaustive

Compile time checks that a computation considers producing data through all possible constructors

getopt-generics

Easily create command line parsers by declaring a data type.

inspection-testing

Inspection Testing for Haskell

munihac.github.io

postgresql-simple-sop

servant

Main repository for the servant libraries. Web API combinators, with servers, clients and documentation

servant-bobkonf-2017

Code for Bobkonf 2017 servant tutorial

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

thentos

A tool for privacy-preserving identity management (PPIM)