barrucadu/search-party
A library for parallel, non-deterministic, search.
Developer Profile
barrucadu
Discovered public repositories for barrucadu in the GitHub catalog.
barrucadu/dejafu
Systematic concurrency testing meets Haskell.
barrucadu/phd
I have no idea what I'm doing
barrucadu/irc-client
This project is essentially abandonware!
barrucadu/irc-conduit
This project is essentially abandonware!
barrucadu/irc-ctcp
This project is essentially abandonware!
barrucadu/yukibot
An IRC bot, and associated libraries, for the ##compsoc-uk-anime channel on Freenode
barrucadu/nfrac
ncurses fractal viewer
barrucadu/markov
Markov chain text generator, as used for KingJamesProgramming
barrucadu/meng-project
MEng project on verified garbage collection
barrucadu/bookdb
A database and web app to keep track of all my books
barrucadu/cv
My CV
barrucadu/barrucadu.co.uk
My personal website
barrucadu/dotfiles
My dotfiles and assorted other crap, managed with chezmoi.