Beast code in Giters

nsbgn's repositories

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

Language:ShellUnlicense12 10

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

Language:CSSUnlicense5 20

Personal configuration files.

Language:ShellUnlicense4 10

A more ergonomic keyboard configuration.

Language:C4 20

Tableau-based theorem prover for justification logic.

Language:HaskellGPL-3.01 2 34

Cheatsheets.

020

A key remapping daemon for linux.

Language:CMIT010

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

020

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

Language:Perl020

Automatically center vim windows for comfortable typing in fullscreen.

Language:Vim scriptUnlicense020