Pinned Loading

1. configs configs Public

   Collection of my personal Arch Linux setup

   Emacs Lisp

2. agda-unimath agda-unimath Public

   Forked from UniMath/agda-unimath

   Univalent mathematics in Agda

   Agda

3. jscoq-nix jscoq-nix Public

   Nix infrastructure for using jsCoq

   Nix 2

4. assam assam Public

   Lemonbar manager

   Zig

5. Powerline-style PowerShell prompt (g... Powerline-style PowerShell prompt (git support and extensible)

   1

   #If this isn't the user using the shell, username@host will be displayed (if enabled)

   2

   $DEFAULT_USER='Adalbert'

   3

   4

   #True to print username@host event if it's the default user

   5

   $PRINT_DEFAULT_USER=$FALSE