Pinned Repositories
applicative-quoters
(no longer maintained) Quasiquoters for working with Control.Applicative, taken from haskell-src-meta
dice
A dice-rolling CGI application in Haskell
figgie
An OCaml implementation of the figgie card game, with bots
flexiprocity
haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
imf-exchange-rates
Scripts for downloading and parsing IMF exchange rate data
notcpp
Avoiding the C preprocessor via cunning use of Template Haskell
pointfree
Maintenance of the pointfree Hackage package.
stepeval
A program for evaluating a Haskell expression step-by-step
tremulous-master
Master server for Tremulous
bmillwood's Repositories
bmillwood/stepeval
A program for evaluating a Haskell expression step-by-step
bmillwood/applicative-quoters
(no longer maintained) Quasiquoters for working with Control.Applicative, taken from haskell-src-meta
bmillwood/figgie
An OCaml implementation of the figgie card game, with bots
bmillwood/notcpp
Avoiding the C preprocessor via cunning use of Template Haskell
bmillwood/imf-exchange-rates
Scripts for downloading and parsing IMF exchange rate data
bmillwood/tremulous-master
Master server for Tremulous
bmillwood/dice
A dice-rolling CGI application in Haskell
bmillwood/infer
Type inference for simply-typed lambda calculus
bmillwood/mathmo
mathmo A-level revision samples
bmillwood/MaybeT-monads-tf
MaybeT monad transformer compatible with monads-tf instead of mtl
bmillwood/reactions
Game written in elm
bmillwood/sunshine
a colourful cellular automaton
bmillwood/ackermann
Agda proof that the Ackermann function is not primitive recursive
bmillwood/ergo
A Python library for integrating model-based and judgmental forecasting
bmillwood/fastbook
The fastai book, published as Jupyter Notebooks
bmillwood/janestreet.github.com
Front page
bmillwood/masterword
like mastermind but with words
bmillwood/MetaprogAgda
being the materials for Summer 2013's course
bmillwood/packup
http://sat.inesc-id.pt/~mikolas/sw/packup/
bmillwood/predictionbook
Find out just how sure you should be, and get better at being only as sure as the facts justify.
bmillwood/regex
bmillwood/trade-game
bmillwood/url
Build and parse URLs. Useful for HTTP and "routing" in single-page apps (SPAs)
bmillwood/x2p