Tritlo

ExampleHolePlugin

FlightCarbonOffset

A calculator for carbon offset required for given flights using FlightAware and SeatGuru

ghc-typelits-extra-sianormalise

A plugin that tries to solve wanted constraints inlolving symmetric, associative and idempotent operations laws for certain operations.

PiSkjerm

A small program that fetches upcoming departures of nearby västtrafik bus stops and outputs them to an inky pHat attached to a RPi Zero W

SizedMonads

An (very likely incorrect!) implementation of Sized Monads.

nix-configuration

Nook

A synthesizer that uses GHC's built-in synthesis features.

TimeTest

TimeTest shows that the `getZonedTime` crashes with a segmentation fault when cross-compiled.

TypedHolesDemo

This is a demo showing the usefulness of valid substitutions for typed holes

AoC2017

My advent of code solutions for 2017. Most of these are just quick hacks to "git'r done"

AOC2019

HFPTest

An example of how you can call Haskell from Python for ghc 8.0.2

mac-lib-plugin

This is a fork of https://bitbucket.org/russo/mac-lib/ with an added Prelude and a type-checker plugin

call-haskell-from-anything

Call Haskell functions from any programming language via serialization and dynamic libraries

coup

Command line version of the Coup game from Resistance

DCC

DCC embedded in Haskell

doom-config

My Doom Emacs config

dragen

ghc-to-rpi

A docker definition for a GHC to cross compile to a Raspberry Pi

ghc.nix

Nix (shell) expression for working on GHC

hoogle

Haskell API search engine

hs-memory

haskell memory

http-api-data

Converting to/from HTTP API data like URL pieces, headers and query parameters.

minimal-ghcide-bug

A minimal repro of a ghcide bug

purescript-docker

Purescript build for Docker :anchor:

reason-js-docker

A docker build for ReasonML projects that compile to JavaScript.

TwilioCommunicationForwarder

Forwards Incoming calls and messages from a Twilio Number to my number

TypedFlow

Typed frontend to TensorFlow and higher-order deep learning

user-guide

mobile haskell user guide

zfoh.ch

Our homepage