nomeata/window-title
automated time tracking using window titles
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
automated time tracking using window titles
Webseite for Haskell in Leipzig 2016
Syntax checking hacks for vim
Isabelle formalisation of proof graph trees