taojang

haskell-programming-book-exercise

exercises of the book http://haskellbook.com/

my-nixpkgs

some random stuff I use

cats.typed

org.clojure/core.typed definitions for funcool/cats library

course

Functional Programming Course

easy-purescript-nix

Easy PureScript (and other tools) with Nix

eff

Eff monad for cats - http://atnos-org.github.io/eff

fp101-labs

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

frege-flink

haskell-hedgehog

Hedgehog will eat all your bugs.

http4s

A minimal, idiomatic Scala interface for HTTP

learn-you-a-haskell-exercises

lets-lens

Course material for lens

lightstep-haskell

LightStep OpenTracing client library

metric-test

nakadi-client

Haskell Client Library for the Nakadi Event Broker

origami

Monadic folds

plfa.github.io

Introduction to programming language theory in Agda

prelude

Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.

purescript-aff-retry

Retry combinators for monadic Aff actions that may fail

purescript-caching

Caching types for purescript

purescript-cloud-juice

Nakadi client in and for Purescript

purescript-coroutine-transducers

transducer layer for purescript-coroutines

purescript-graphql

Typesafe wrapper around GraphQL.js

purescript-minibench

A minimal benchmarking library

rally-eventdata-track

Rally track for simulating event-based data use-cases

rho

A self documenting DSL built on http4s

scalaz-playground

survey

Home for the State of PureScript annual survey

swagger2

Swagger 2.0 data model.