Configuration

Repos with my configuration files.

ghc
0 0

My GHCI configuration.

Updated 1 week ago

My build script for the OpenWRT image builder.

Updated 1 month ago

My private build plan for the Iosevka font.

Updated 4 months ago

zsh
0 0

My personal ZSH config with a pretty powerline-like prompt.

Updated 5 months ago

Hooks for the pacman package manager that keep the package cache clean.

Updated 10 months ago

People