Michael Walker

Login: barrucadu

Company: @alphagov

Location: London, England

Bio: GitHub does bios now?

Blog: http://www.barrucadu.co.uk

Blog: http://www.barrucadu.co.uk

Member of

1. Arch Hurd
2. Programming Languages and Systems
3. Uzbl Developers

Repositories

ace

Ace (Ajax.org Cloud9 Editor)

aoc

null

barrucadu.co.uk

My personal website

bfo

Optimising brainfuck interpreter.

bookdb

null

both

Like Maybe, but with a different Monoid instance.

cabal-info

Read information from cabal files.

charsheet

Gamify your life!

coco

The Concurrency Commentator; giving you cheap remarks about concurrent programs.

CodeMirror

In-browser code editor

contravariant

Haskell 98 contravariant functors

cv

A one-page CV template in XeTeX with a focus for people in the computer science / tech industry.

deepseq

Deep evaluation of data structures

dejafu

Systematic concurrency testing meets Haskell.

dotfiles

My dotfiles and assorted other crap, managed with GNU Stow.

dummy

For testing GitHub API stuff

evil

The extensible vi layer for Emacs.

finances

A small tool to visualise my hledger journal. Your mileage may vary.

gopher

A simple Gopher server

hacksoc.org

Hacksoc website

hakyll

A static website compiler library in Haskell

hledger

The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.

img

Image manipulation program

irc-client

An IRC client library.

irc-conduit

Streaming IRC message library using conduits.

irc-ctcp

A CTCP encoding and decoding library for IRC clients.

koans

Small programming exercises, sometimes called "code koans" or "code kata".

lainchan

The version of vichan running on lainchan.org

lainonlife

Site and scripts for lainon.life

logdb

An efficient log-structured database supporting efficient insertion of new entries and removal from either end of the log.

maple

A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

markov

Markov chain text generator, as used for KingJamesProgramming

meng-project

MEng project on verified garbage collection

minifu

A tutorial on writing a concurrency testing tool in Haskell

monad-monitor

A class of monads which can monitor temporal properties.

monad-par

null

mussolini

An AI for the Ticket to Ride family of boardgames.

nagi

An imageboard in Haskell

nfrac

ncurses fractal viewer

nixfiles

My NixOS configuration for a few different machines.

nixpkgs

Nix Packages collection

NYHC

[Eventual] Self-hosting Haskell98 compiler, based on F-Lite.

packdeps-github

Open issues on GitHub about outdated dependencies automatically

phd

I have no idea what I'm doing

pusher-ws

Implementation of the Pusher WebSocket protocol in Haskell

quickie

A quick brainfuck compiler / JITed interpreter.

raft

Golang implementation of the Raft consensus protocol

remacs

Rust :heart: Emacs

rfcs

Discussion about proposed changes to the Haskell programming language

rogue-mayor

A town management game I'll probably never finish.

search-party

A library for parallel, non-deterministic, search.

smallcheck

smallcheck: test your Haskell code by exhaustively checking its properties

stackage

"Stable Hackage": vetted consistent packages from Hackage

weeder

Detect dead exports or package imports

wheat

Yet another binary (de-)serialisation library

yukibot

An IRC bot, and associated libraries, for the ##compsoc-uk-anime channel on Freenode

zero

Semigroups with absorbing element

Commits To