toothbrush/colloquium

Stars
2
Language
Haskell
Created almost 13 years ago
Updated almost 13 years ago

toothbrush/colloquium

toothbrush

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

Talk about Binders Unbound

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

dotfs

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

confluence-dump

i want all the pages locally

keez

Tool to simplify copying and modifying AWS SSM Parameter Store values

apa-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.

bsp-cg

CG method for BSPlib

cco-types

4th assignment CCO

greasemonkey

Some scripts I find useful.

cco-tdiag

CCO 2nd assignment

cco-staticlink

CCO 3rd assignment, static link optimisation

spotiqueue-old

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

eratosthenes

Project for Parallel Algorithms mathematics course

cco-bibtex2html

Compiler Construction 2011, first assignment

lunch-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! 👿