Tools

Random collection of tools and utilities I like to use most of the time.

editor

vim plugins

development

scala

python

shell

desktop

fonts

organize

chat

social media

system