mjhopkins

category-cheat-sheet

Cheat sheet for Haskellers wanting to get up to speed with category theory

dependent-types-made-difficult

slides

StopPayingForFreeMonads

Haskell code for YOW LambdaJam 2016 workshop

alerta-client

Haskell bindings for the alerta alert monitoring tool

stack-templates

https://docs.haskellstack.org/en/stable/GUIDE/#templates

create-haskell-module

Command-line tool for adding a new module to a Haskell project

hipchat

Haskell bindings for Atlassian HipChat

ifcxt-scala

Scala port of ifcxt

LinearLogic

Linear logic rules typeset

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

aoc2020

auto

Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

digestive-functors

A general way to consume input using applicative functors

digestive-functors-blaze

docker

Docker images

dotty

The Scala 3 compiler, also known as Dotty.

exploring-selective-functors

Code from the paper "Selective Applicative Functors"

fp-syd-meetings

Meeting notes and talk slides

google-api-java-client-services

Generated Java code for Google APIs

haskell-kubernetes-client

Haskell client for the kubernetes API. A work in progress.

hggeorgiev

kubernetes-website

Kubernetes website and documentation repo:

lets-lens

Course material for lens

modules-papers

A collection of papers on modules.

PowerOfPi-Idris

Attempt to translate the code in Swierstra and Oury's "Power of Pi" paper to Idris

quill

Compile-time Language Integrated Queries for Scala

selective-functors-experiment

space-workshop

Haskell simulations of spacecraft manoeuvres

stackage

"Stable Hackage": vetted consistent packages from Hackage

tiger

See README for more info