Alan Zimmerman's repositories
machines-play
Playing with https://github.com/ekmett/machines
cjdns
An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing.
crawlchain
Library for simulating user crawl paths (trees) with selectors.
foundation
a new hope
ghc-dump-tree
Dump GHC's abstract syntax trees
ghc-syb
Scrap Your Boilerplate instances for GHC's data types
gnss-converters
GNSS converters
hs-tls
TLS/SSL implementation in haskell
language-server-protocol
Defines a common protocol for language servers.
librtcm
RTCM client libraries
liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
liquid-types-spacemacs
Spacemacs Layer for LiquidHaskell
liquidhaskell-tutorial
Tutorial for LiquidHaskell
machines
Networks of composable stream transducers
mono-traversable
Type classes for mapping, folding, and traversing monomorphic containers
multi-ghc-travis
Scripts and instructions for using Travis-CI with multiple GHC configurations
papa-base-implement
Useful base functions reimplemented
patchbay
An alternative Secure Scuttlebutt client interface that is fully compatible with Patchwork
pipes-attoparsec
Utilities to convert a parser into a pipe
pipes-network
Use network sockets together with the Haskell pipes library.
preamble
Yet Another Prelude
ssb-dat-share
Autoshare dat links found in ssb posts
stackage-content
Content for the stackage.org site
syb
Scrap Your Boilerplate generic programming library in Haskell
thesis
Thesis
wolf
Wolf is a wrapper around Amazon Simple Workflow Service.
yesod
A RESTful Haskell web framework built on WAI.