bmillwood Goto Github PK

ackermann

Agda proof that the Ackermann function is not primitive recursive

applicative-quoters

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

backupzoah

a twitter bot that imitates Zoah

bmillwood.github.io

boinc

Open-source software for volunteer computing and grid computing.

dice

A dice-rolling CGI application in Haskell

ergo

A Python library for integrating model-based and judgmental forecasting

fancy_einsum

Einsum with einops style variable names

fastbook

The fastai book, published as Jupyter Notebooks

figgie

An OCaml implementation of the figgie card game, with bots

flexiprocity

haskell-server-sdk

LaunchDarkly Server-Side SDK for Haskell

haskell-src-meta

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

hedis

A Redis client library for Haskell.

imf-exchange-rates

Scripts for downloading and parsing IMF exchange rate data

infer

Type inference for simply-typed lambda calculus

janestreet.github.com

Front page

masterword

like mastermind but with words

mathmo

mathmo A-level revision samples

maybet-monads-tf

MaybeT monad transformer compatible with monads-tf instead of mtl

metaprogagda

being the materials for Summer 2013's course

misc-api

ml-experiments

misc machine learning experiments I've done

nixpkgs

Nix Packages collection

notcpp

Avoiding the C preprocessor via cunning use of Template Haskell

packup

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

pointfree

Maintenance of the pointfree Hackage package.

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.

reactions

Game written in elm