Pinned Repositories
alerta-client
Haskell bindings for the alerta alert monitoring tool
category-cheat-sheet
Cheat sheet for Haskellers wanting to get up to speed with category theory
dependent-types-made-difficult
slides
hipchat
Haskell bindings for Atlassian HipChat
ifcxt-scala
Scala port of ifcxt
LinearLogic
Linear logic rules typeset
seven-trees
Isomorphism between unlabelled binary trees and 7-tuples of such trees
stack-templates
https://docs.haskellstack.org/en/stable/GUIDE/#templates
StopPayingForFreeMonads
Haskell code for YOW LambdaJam 2016 workshop
ttfi
Typed tagless final interpreters in Haskell and Scala
mjhopkins's Repositories
mjhopkins/category-cheat-sheet
Cheat sheet for Haskellers wanting to get up to speed with category theory
mjhopkins/dependent-types-made-difficult
slides
mjhopkins/StopPayingForFreeMonads
Haskell code for YOW LambdaJam 2016 workshop
mjhopkins/alerta-client
Haskell bindings for the alerta alert monitoring tool
mjhopkins/stack-templates
https://docs.haskellstack.org/en/stable/GUIDE/#templates
mjhopkins/hipchat
Haskell bindings for Atlassian HipChat
mjhopkins/ifcxt-scala
Scala port of ifcxt
mjhopkins/LinearLogic
Linear logic rules typeset
mjhopkins/akka
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
mjhopkins/aoc2020
mjhopkins/auto
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
mjhopkins/digestive-functors
A general way to consume input using applicative functors
mjhopkins/digestive-functors-blaze
mjhopkins/docker
Docker images
mjhopkins/dotty
The Scala 3 compiler, also known as Dotty.
mjhopkins/exploring-selective-functors
Code from the paper "Selective Applicative Functors"
mjhopkins/fp-syd-meetings
Meeting notes and talk slides
mjhopkins/google-api-java-client-services
Generated Java code for Google APIs
mjhopkins/haskell-kubernetes-client
Haskell client for the kubernetes API. A work in progress.
mjhopkins/hggeorgiev
mjhopkins/kubernetes-website
Kubernetes website and documentation repo:
mjhopkins/lets-lens
Course material for lens
mjhopkins/modules-papers
A collection of papers on modules.
mjhopkins/PowerOfPi-Idris
Attempt to translate the code in Swierstra and Oury's "Power of Pi" paper to Idris
mjhopkins/quill
Compile-time Language Integrated Queries for Scala
mjhopkins/regexp
Brzozowski regular expression derivatives
mjhopkins/selective-functors-experiment
mjhopkins/space-workshop
Haskell simulations of spacecraft manoeuvres
mjhopkins/stackage
"Stable Hackage": vetted consistent packages from Hackage
mjhopkins/tiger
See README for more info