tjim/jotmuch
Jotmuch bookmark manager
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.
Jotmuch bookmark manager
Emacs mail reader based on Notmuch
A compiler for secure multiparty computation
An interactive chess program