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
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
mathmo
mathmo A-level revision samples
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/pointfree
Maintenance of the pointfree Hackage package.
bmillwood/haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
bmillwood/applicative-quoters
(no longer maintained) Quasiquoters for working with Control.Applicative, taken from haskell-src-meta
bmillwood/infer
Type inference for simply-typed lambda calculus
bmillwood/ackermann
Agda proof that the Ackermann function is not primitive recursive
bmillwood/backupzoah
a twitter bot that imitates Zoah
bmillwood/bmillwood.github.io
bmillwood/boinc
Open-source software for volunteer computing and grid computing.
bmillwood/ergo
A Python library for integrating model-based and judgmental forecasting
bmillwood/fancy_einsum
Einsum with einops style variable names
bmillwood/fastbook
The fastai book, published as Jupyter Notebooks
bmillwood/flexiprocity
bmillwood/haskell-server-sdk
LaunchDarkly Server-Side SDK for Haskell
bmillwood/hedis
A Redis client library for Haskell.
bmillwood/janestreet.github.com
Front page
bmillwood/masterword
like mastermind but with words
bmillwood/misc-api
bmillwood/ml-experiments
misc machine learning experiments I've done
bmillwood/nixpkgs
Nix Packages collection
bmillwood/packup
http://sat.inesc-id.pt/~mikolas/sw/packup/
bmillwood/pointfree-hse
Elimination of explicit arguments for HSE ASTs
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/SAELens
Training Sparse Autoencoders on Language Models
bmillwood/skerrible
bmillwood/stampy
A Discord bot for the Robert Miles AI server
bmillwood/terraform-aws-ssl
Terraform module for making + validating an SSL certificate in AWS
bmillwood/trade-game
bmillwood/TransformerLens
A library for mechanistic interpretability of GPT-style language models
bmillwood/url
Build and parse URLs. Useful for HTTP and "routing" in single-page apps (SPAs)