paul david (@toothbrush)

Top repositories

1

debounce-mac

Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
Objective-C
162
star
2

Spotiqueue

Dead-simple queue-oriented client for Spotify
Swift
81
star
3

dotfs

DotFS allows per-host configuration by providing dotfiles on a virtual FS.
Haskell
6
star
4

confluence-dump

i want all the pages locally
Go
5
star
5

keez

Tool to simplify copying and modifying AWS SSM Parameter Store values
Rust
5
star
6

apa-proj2

Haskell
3
star
7

clitotp

Hacky script to generate TOTPs on the CLI. 🌽 🐈
Python
2
star
8

ios-buildtools

Useful utilities for building iOS projects, etcetera.
Shell
2
star
9

pas-uminho

Repo for PAS subject (mCRL2 etc)
2
star
10

racket-docker

Happy fluffy yaks abound in verdant pastures.
Racket
2
star
11

agda-gp

2
star
12

forest-fire

Compute transitive closure of uses of CloudFormation exports.
Haskell
2
star
13

colloquium

Talk about Binders Unbound
Haskell
2
star
14

bsp-cg

CG method for BSPlib
C
1
star
15

cco-types

4th assignment CCO
Haskell
1
star
16

greasemonkey

Some scripts I find useful.
JavaScript
1
star
17

cco-tdiag

CCO 2nd assignment
Haskell
1
star
18

cco-staticlink

CCO 3rd assignment, static link optimisation
Haskell
1
star
19

spotiqueue-old

A simple queue GUI for Spotify. OS X only, for now.
C
1
star
20

eratosthenes

Project for Parallel Algorithms mathematics course
C
1
star
21

cco-bibtex2html

Compiler Construction 2011, first assignment
Haskell
1
star
22

lunch-roulette

Spin the wheel and have lunch with a stranger!
Ruby
1
star
23

SwiftMenu

Gaah, xmenu doesn't work and Hammerspoon isn't to my taste. Emacs Helm is great but new frame creation is too slow! 👿
Swift
1
star