• This repository has been archived on 16/Mar/2021
  • Stars
    star
    2
  • Language
  • Created almost 5 years ago
  • Updated over 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

markov

Markov chain text generator, as used for KingJamesProgramming
Python
452
star
2

dejafu

Systematic concurrency testing meets Haskell.
Haskell
188
star
3

nixfiles

My NixOS configuration and assorted other crap.
Nix
135
star
4

hledger-scripts

Helpful scripts to do things with your hledger data.
Haskell
54
star
5

lainonlife

RIP lainchan radio, taken out by HDD failure.
Python
53
star
6

logdb

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

finances

A small tool to visualise my hledger journal. Your mileage may vary.
JavaScript
27
star
8

bookdb

Python
25
star
9

dotfiles

My dotfiles and assorted other crap, managed with chezmoi.
Python
25
star
10

resolved

A simple DNS server for home networks.
Rust
20
star
11

irc-client

This project is essentially abandonware!
Haskell
20
star
12

cv

My CV
TeX
19
star
13

minifu

A tutorial on writing a concurrency testing tool in Haskell
Haskell
13
star
14

bible

The King James Bible, typeset with LaTeX
TeX
12
star
15

irc-conduit

This project is essentially abandonware!
Haskell
11
star
16

yukibot

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

meng-project

MEng project on verified garbage collection
TeX
8
star
18

quickie

A quick brainfuck compiler / JITed interpreter.
Haskell
6
star
19

bookmarks

A little search engine to manage my bookmarks
Python
5
star
20

memo.barrucadu.co.uk

My memos
Haskell
5
star
21

irc-ctcp

This project is essentially abandonware!
Haskell
4
star
22

coco

The Concurrency Commentator; giving you cheap remarks about concurrent programs.
Haskell
4
star
23

cabal-info

Read information from cabal files.
Haskell
4
star
24

search-party

A library for parallel, non-deterministic, search.
Haskell
4
star
25

pusher-ws

Implementation of the Pusher WebSocket protocol in Haskell
Haskell
3
star
26

aoc

Advent of Code
Haskell
3
star
27

bfo

Optimising brainfuck interpreter.
Rust
3
star
28

quantified-self-scripts

Grabbing data about me and pushing it into a dashboard
Python
3
star
29

barrucadu.co.uk

My personal website
HTML
2
star
30

prometheus-speedtest-exporter

Python
2
star
31

prometheus-awair-exporter

Go
2
star
32

both

This project is essentially abandonware!
Haskell
2
star
33

phd

I have no idea what I'm doing
TeX
2
star
34

monad-monitor

Haskell
2
star
35

alphagov-backend.hs

Drop-in replacements for GOV.UK backend services, written in Haskell using servant.
Haskell
1
star
36

rogue-mayor

A town management game I'll probably never finish.
Rust
1
star
37

lambdamoo

C
1
star
38

king-james-programming

Markov chain text generator, as used for KingJamesProgramming (post-2024)
Shell
1
star
39

sat

Rust
1
star
40

packdeps-github

Open issues on GitHub about outdated dependencies automatically
Haskell
1
star
41

govuk-rota-generators

Generates rotas for GOV.UK teams.
Python
1
star
42

sed-as-a-service

An innovative solution to turn CPU-bound sed invocations into IO-bound network requests
Java
1
star