Benjamin Slade

org-daily-reflection. Reflect on your org-roam daily entries, comparing N org-roam dailies at M intervals (years, months, fortnights, weeks, days).

equake. A drop-down console written in Emacs Lisp, designed for eshell and terminal emulation.

pdffontetc. Emacs interface to pdffonts and other PDF metadata

vpnd. Void Package Notifier Daemon

emacs-guix-sudoloop-pull-ups. Guix pull and update with sudoloop. Elisp code which creates and runs shell scripts to more efficiently update Guix with sudoloop (for `guix system reconfigure') and multiple attempts to counteract transient timeouts/failure, so full guix updates are less painful.

twidlk. A CLI for working with Twiddler configurations

awesome-lambda-calculus-innovations. repository of links to modern developments in lambda calculus

frege. Derivational representations of natural language semantics, using a typed lambda calculus, implemented in Racket Scheme.

cyberpunk-theme-tron-overlay. some additional customisations for the cyberpunk theme

full-zfs-and-full-luks-encryption-on-void-linux. This is a rough but working set of scripts to set up Void Linux running on pure ZFS, /, /home, /boot and all on a fully LUKS-encrypted partition.

ycombinator-codex. (Lua)LaTeX code for typesetting the Y Combinator Codex