bmillwood

pointfree

Maintenance of the pointfree Hackage package.

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

applicative-quoters

(no longer maintained) Quasiquoters for working with Control.Applicative, taken from haskell-src-meta

figgie

An OCaml implementation of the figgie card game, with bots

infer

Type inference for simply-typed lambda calculus

sunshine

a colourful cellular automaton

ackermann

Agda proof that the Ackermann function is not primitive recursive

backupzoah

a twitter bot that imitates Zoah

bmillwood.github.io

boinc

Open-source software for volunteer computing and grid computing.

ergo

A Python library for integrating model-based and judgmental forecasting

fastbook

The fastai book, published as Jupyter Notebooks

flexiprocity

haskell-server-sdk

LaunchDarkly Server-Side SDK for Haskell

hedis

A Redis client library for Haskell.

janestreet.github.com

Front page

masterword

like mastermind but with words

misc-api

ml-experiments

misc machine learning experiments I've done

nixpkgs

Nix Packages collection

packup

http://sat.inesc-id.pt/~mikolas/sw/packup/

pointfree-hse

Elimination of explicit arguments for HSE ASTs

predictionbook

Find out just how sure you should be, and get better at being only as sure as the facts justify.

regex

skerrible

stampy

A Discord bot for the Robert Miles AI server

terraform-aws-ssl

Terraform module for making + validating an SSL certificate in AWS

trade-game

url

Build and parse URLs. Useful for HTTP and "routing" in single-page apps (SPAs)

x2p