sharkdp/chromedotfiles
inject ~/.chromedotfiles/<hostname>.{js,css} into chrome tabs
A solver for the dice game Zehntausend
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
inject ~/.chromedotfiles/<hostname>.{js,css} into chrome tabs
A puzzle game inspired by functional programming
A fast-paced geography quiz
LaTeX sources for my PhD thesis