paul

debounce-mac. Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.

Spotiqueue. Dead-simple queue-oriented client for Spotify

confluence-dump. i want all the pages locally

dotfs. DotFS allows per-host configuration by providing dotfiles on a virtual FS.

keez. Tool to simplify copying and modifying AWS SSM Parameter Store values

xmenu. Dmenu clone for OSX

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

clitotp. Hacky script to generate TOTPs on the CLI. :corn: :cat2:

apa-proj2. Haskell

racket-docker. Happy fluffy yaks abound in verdant pastures.

ios-buildtools. Useful utilities for building iOS projects, etcetera.

forest-fire. Compute transitive closure of uses of CloudFormation exports.

bsp-cg. CG method for BSPlib

cco-staticlink. CCO 3rd assignment, static link optimisation

cco-types. 4th assignment CCO

lunch-roulette. Spin the wheel and have lunch with a stranger!

colourcraze. Just random madness

pas-uminho. Repo for PAS subject (mCRL2 etc)

agda-gp.

colloquium. Talk about Binders Unbound

spotiqueue-old. A simple queue GUI for Spotify. OS X only, for now.

cco-bibtex2html. Compiler Construction 2011, first assignment

eratosthenes. Project for Parallel Algorithms mathematics course

greasemonkey. Some scripts I find useful.

cco-tdiag. CCO 2nd assignment