dredozubov

category-studygroup

fby16

Slides for my talk: "How to sell FP?"

fcat

Verified smart-contracts language based on Cat

hreader-lens

A collection of optics for the hreader library

okasaki

Principled approach to exercises from "Purely Functional Data Structures" by Chris Okasaki

servant-schematic

Schematic integration layer for servant

tracy

Convenience wrappers for Debug.Trace.

bnfc

BNF Converter

dotemacs

My emacs configuration

dsss17

A Nix project for building all the dependencies needed at DeepSpec Summer School 2017

fpconf17

ghc-utils

Utilities I find useful while working on GHC

haskell-hedgehog

Hedgehog will eat all your bugs.

haskell-money

Type-safe encoding and manipulation of world currencies and precious metals

hjsonschema

melpa

Recipes and build machinery for the biggest Emacs package repo

network

Low-level networking interface

osx-syscalls-list

Fish for BSD system calls and MACH traps inside of XNU ✌️

pg-schema

postgresql-libpq

Low-level Haskell bindings for libpq

prometheus

Prometheus.io Haskell client.

safecopy

An extension to Data.Serialize with built-in version control

stackage

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

stackage2nix

Generate Nix build instructions from a Stack file

streaming

An optimized general monad transformer for streaming applications, with a simple prelude of functions

streaming-utils

experimental http, attoparsec and pipes material for `streaming` and `streaming-bytestring`

superrecord

Haskell: Supercharged anonymous records

urweb

The Ur/Web programming language

webapp-template-hs

Haskell web application template

xeno

Fast Haskell XML parser