Josh-Tilles/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Public GitHub Catalog
Discovered Sep 29, 2026
Josh-Tilles / isabelle
Tracks http://isabelle.in.tum.de/repos/isabelle/ with git-hg
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.
#16492855GitHub System ID
Josh-TillesOrganization / User
PublicVisibility
ActiveCatalog Status
More from Josh-Tilles
Josh-Tilles/jira
Public repository.
Josh-Tilles/sail-sandbox
Public repository.
Josh-Tilles/tmptmptmp
Public repository.