mjhopkins Goto Github PK

akka

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

alerta-client

Haskell bindings for the alerta alert monitoring tool

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

category-cheat-sheet

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

dependent-types-made-difficult

slides

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

hipchat

Haskell bindings for Atlassian HipChat

ifcxt-scala

Scala port of ifcxt

kubernetes-website

Kubernetes website and documentation repo:

lets-lens

Course material for lens

linearlogic

Linear logic rules typeset

macro-smart-constructors

Demo code for ScalaSyd talk on macro-based smart constructors in Scala

modules-papers

A collection of papers on modules.

powerofpi

Agda code for Oury and Swierstra's paper "The Power of Pi"

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

regexp

Brzozowski regular expression derivatives

selective-functors-experiment

servant-pandoc

Render a servant API to Pandoc's native representation

seven-trees

Isomorphism between unlabelled binary trees and 7-tuples of such trees

space-workshop

Haskell simulations of spacecraft manoeuvres