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. 🌽 🐈ios-buildtools
Useful utilities for building iOS projects, etcetera.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.cco-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