dschoepe/notmuch-snooze
Support for snoozing messages in the notmuch mail client
Public GitHub Catalog
Discovered Sep 25, 2026
dschoepe / fmis-agda
Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#4669251GitHub System ID
dschoepeOrganization / User
PublicVisibility
ActiveCatalog Status
More from dschoepe
dschoepe/vt
Command-line västtrafik client
dschoepe/bibfetch
Scripts for fetching BibTeX entries (from Google Scholar and DBLP)
dschoepe/pdfPres
Dual head PDF presenter: Current slide with context + current slide in fullscreen (Linux, BSD).