~apolexian

Glasgow

https://www.niktivan.org/

PhD student at the University of Glasgow. I work on using formal methods to improve network protocol specifications and the network protocol standardisation process.

dots

My dotfiles and configs

More projects

Activity

1e51607 Modify conky

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

15f90de Update the README

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

04b1e42 Add a gitignore

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

acb56d6 Add music player and discord to start hook

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

0a1213c Add flameshot as screenshot tool

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

64c543d Update

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

5781d35 Remove redundant emacs line

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

5c5d504 Nicer polybar

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

4777a11 Polybar colours

~apolexian pushed to ~apolexian/dots git

1 year, 11 months ago via dots

e88f3c5 Emacs theme

~apolexian pushed to ~apolexian/dots git

2 years ago via dots

7b23c01 Add support for moving lines up and down

~apolexian pushed to ~apolexian/dots git

2 years ago via dots

f82b4f6 Update README with the new editor

~apolexian pushed to ~apolexian/dots git

2 years ago via dots

4e27091 Update

~apolexian pushed to ~apolexian/dots git

2 years ago via dots

~apolexian/dots

New git repository added

2 years ago via dots