joyheron/emacs.d
Emacs configuration files
Public GitHub Catalog
Discovered Oct 2, 2026
joyheron / prob2-plugin
ProB 2.0 Eclipse / Rodin Plug-in
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.
#24419086GitHub System ID
joyheronOrganization / User
PublicVisibility
ActiveCatalog Status
More from joyheron
joyheron/cytoscojure
A ClojureScript Wrapper for the cytoscape JavaScript Library
joyheron/habitrpg
A habit tracker app which treats your goals like a Role Playing Game.
joyheron/bachelorarbeit
Public repository.