Configuration

Repos with my configuration files.

iosevka
0 0

My private build plan for the Iosevka font.

Updated 1 month ago

zsh
0 0

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

Updated 2 months ago

ghc
0 0

My GHCI configuration.

Updated 4 months ago

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

Updated 7 months ago

People