Pinned Repositories
enyo2-lib
fp-in-scala
exercise of the book Functional Programming in Scala
haskell-programming-book-exercise
exercises of the book http://haskellbook.com/
Labs
Small opensource stuff
my-nixpkgs
some random stuff I use
taojang's Repositories
taojang/haskell-programming-book-exercise
exercises of the book http://haskellbook.com/
taojang/my-nixpkgs
some random stuff I use
taojang/cats.typed
org.clojure/core.typed definitions for funcool/cats library
taojang/course
Functional Programming Course
taojang/easy-purescript-nix
Easy PureScript (and other tools) with Nix
taojang/eff
Eff monad for cats - http://atnos-org.github.io/eff
taojang/fp101-labs
taojang/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
taojang/frege-flink
taojang/haskell-hedgehog
Hedgehog will eat all your bugs.
taojang/http4s
A minimal, idiomatic Scala interface for HTTP
taojang/learn-you-a-haskell-exercises
taojang/lets-lens
Course material for lens
taojang/lightstep-haskell
LightStep OpenTracing client library
taojang/metric-test
taojang/nakadi-client
Haskell Client Library for the Nakadi Event Broker
taojang/origami
Monadic folds
taojang/plfa.github.io
Introduction to programming language theory in Agda
taojang/prelude
Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.
taojang/purescript-aff-retry
Retry combinators for monadic Aff actions that may fail
taojang/purescript-caching
Caching types for purescript
taojang/purescript-cloud-juice
Nakadi client in and for Purescript
taojang/purescript-coroutine-transducers
transducer layer for purescript-coroutines
taojang/purescript-graphql
Typesafe wrapper around GraphQL.js
taojang/purescript-minibench
A minimal benchmarking library
taojang/rally-eventdata-track
Rally track for simulating event-based data use-cases
taojang/rho
A self documenting DSL built on http4s
taojang/scalaz-playground
taojang/survey
Home for the State of PureScript annual survey
taojang/swagger2
Swagger 2.0 data model.