Pinned Repositories
transforge
Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
cheatsuite
Cheatsheets.
dotfiles
Personal configuration files.
heks
Handler for events and keyboard shortcuts. Work-in-progress.
judge
Tableau-based theorem prover for justification logic.
keyd
A key remapping daemon for linux.
pandoc.mk
Simple PDF & static website generation using `make`, `jq` and `pandoc`.
scripts
A collection of useful bash scripts: dmenu interfaces to mpv and pass, keyboard configurations, etcetera.
thumbledore
A more ergonomic keyboard configuration.
slakkenhuis's Repositories
slakkenhuis/scripts
A collection of useful bash scripts: dmenu interfaces to mpv and pass, keyboard configurations, etcetera.
slakkenhuis/pandoc.mk
Simple PDF & static website generation using `make`, `jq` and `pandoc`.
slakkenhuis/dotfiles
Personal configuration files.
slakkenhuis/thumbledore
A more ergonomic keyboard configuration.
slakkenhuis/judge
Tableau-based theorem prover for justification logic.
slakkenhuis/cheatsuite
Cheatsheets.
slakkenhuis/heks
Handler for events and keyboard shortcuts. Work-in-progress.
slakkenhuis/keyd
A key remapping daemon for linux.
slakkenhuis/lua-filters
A collection of lua filters for pandoc
slakkenhuis/middlemenu
Universal menu inspired by rofi & dmenu. Work-in-progress.
slakkenhuis/urxvt-last-dir
Open a new urxvt(c) window in the same directory as the previous foreground process.
slakkenhuis/versatiler
Window tiling for stacking window managers. Work-in-progress.
slakkenhuis/vim-margin
Automatically center vim windows for comfortable typing in fullscreen.