GitHub repository: puffnfresh/iridium
Primary language: Idris
Description: xmonad with the X11 abstracted and configured with Idris