ErikBjare/dotfiles-manager
The best way to manage your dotfiles with Git!
A very simple tool for dumping your Evernote notes, with Geeknote.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
The best way to manage your dotfiles with Git!
Public files of EDA016 "Programming, First Course" given at Lund University, LTH.
Slides for my Introduction to Python talk
A bunch of Python examples useful if you are just getting started