Mark Hopkins's repositories
category-cheat-sheet
Cheat sheet for Haskellers wanting to get up to speed with category theory
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
ifcxt-scala
Scala port of ifcxt
LinearLogic
Linear logic rules typeset
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
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.
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
space-workshop
Haskell simulations of spacecraft manoeuvres
tiger
See README for more info