Beast code in Giters

slakkenhuis's repositories

A collection of useful bash scripts: dmenu interfaces to mpv and pass, keyboard configurations, etcetera.

Language:ShellUnlicense700

Simple PDF & static website generation using `make`, `jq` and `pandoc`.

Language:CSSUnlicense5 20

Personal configuration files.

Language:ShellUnlicense200

A more ergonomic keyboard configuration.

Language:C2 20

Tableau-based theorem prover for justification logic.

Language:HaskellGPL-3.01 2 34

Cheatsheets.

010

Handler for events and keyboard shortcuts. Work-in-progress.

GPL-3.0000

A key remapping daemon for linux.

Language:CMIT010

A collection of lua filters for pandoc

Language:LuaMIT000

Universal menu inspired by rofi & dmenu. Work-in-progress.

010

Open a new urxvt(c) window in the same directory as the previous foreground process.

Language:Perl020

Window tiling for stacking window managers. Work-in-progress.

000

Automatically center vim windows for comfortable typing in fullscreen.

Language:Vim scriptUnlicense010