There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 Spotifydotfs
DotFS allows per-host configuration by providing dotfiles on a virtual FS.confluence-dump
i want all the pages locallykeez
Tool to simplify copying and modifying AWS SSM Parameter Store valuesapa-proj2
clitotp
Hacky script to generate TOTPs on the CLI. π½ πpas-uminho
Repo for PAS subject (mCRL2 etc)racket-docker
Happy fluffy yaks abound in verdant pastures.agda-gp
forest-fire
Compute transitive closure of uses of CloudFormation exports.colloquium
Talk about Binders Unboundbsp-cg
CG method for BSPlibcco-types
4th assignment CCOgreasemonkey
Some scripts I find useful.cco-tdiag
CCO 2nd assignmentcco-staticlink
CCO 3rd assignment, static link optimisationspotiqueue-old
A simple queue GUI for Spotify. OS X only, for now.eratosthenes
Project for Parallel Algorithms mathematics coursecco-bibtex2html
Compiler Construction 2011, first assignmentlunch-roulette
Spin the wheel and have lunch with a stranger!SwiftMenu
Gaah, xmenu doesn't work and Hammerspoon isn't to my taste. Emacs Helm is great but new frame creation is too slow! πΏLove Open Source and this site? Check out how you can help us