Geek Repo
followers
following
stars
Company:Ocean Data Integration Initiative
Location:Germany
Github PK Tool:Github PK Tool
A command-line tool for managing your documents and easing your life.
A command-line tool for launching documents using your favorite PDF viewer, written in bash.
A collection of my personal dotfiles and scripts
My school's arduino project, which is a driver monitor
Ncurses disk usage analyzer