barrucadu/meng-project barrucadu/meng-project

  • This repository has been archived on 09/Jan/2018
  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    TeX
  • Created about 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
barrucadu/meng-project
github

barrucadu

Reviews

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

Repository Details

MEng project on verified garbage collection

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

quickie

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

bookmarks

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

memo.barrucadu.co.uk

My memos
Haskell
5
star
20

irc-ctcp

This project is essentially abandonware!
Haskell
4
star
21

coco

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

cabal-info

Read information from cabal files.
Haskell
4
star
23

search-party

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

pusher-ws

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

aoc

Advent of Code
Haskell
3
star
26

bfo

Optimising brainfuck interpreter.
Rust
3
star
27

quantified-self-scripts

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

barrucadu.co.uk

My personal website
HTML
2
star
29

prometheus-speedtest-exporter

Python
2
star
30

prometheus-awair-exporter

Go
2
star
31

barrucadu.dev

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