A Slack bot that helps you find an apartment.
Firefox Addon: Automatically enable and disable HiDPI (a.k.a. Retina) mode (layout.css.devPixelsPerPx) for multiple monitor setups.
Get and set the backlight brightness
CG method for BSPlib
A Raspberry Pi, a very old camcorder. Not very much time.
Compiler Construction 2011, first assignment
CCO 3rd assignment, static link optimisation
CCO 2nd assignment
4th assignment CCO
Back in the day.
OS X tool for executing mouse- and keyboard-related actions from the shell
Talk about Binders Unbound
Just random madness
Some config files for GuixSD systems.
Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
denknerd.org is generated using Hakyll
This is a minimalistic Diaspec compiler, aiming for ease of backend adaptation.
DotFS allows per-host configuration by providing dotfiles on a virtual FS.
Project for Parallel Algorithms mathematics course
Compute transitive closure of uses of CloudFormation exports.
Some scripts I find useful.
A static website compiler library in Haskell
Useful utilities for building iOS projects, etcetera.
A Ruby library that provides ISO 3166-1 country codes/names and ISO 4217 currencies
Minor mode to displace whitespace characters
Spin the wheel and have lunch with a stranger!
Tool to display unread email count in OS X menu bar.