xrchz/ly
sheet music typesetting
Public GitHub Catalog
Discovered Sep 29, 2026
xrchz / hol-webpages
Webpages for the HOL4 website (currently at hol.sourceforge.net)
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.
#13641805GitHub System ID
xrchzOrganization / User
PublicVisibility
ActiveCatalog Status
More from xrchz
xrchz/Glock
Clock in and out of google calendar events from the command line
xrchz/ss
Public repository.
xrchz/thesis
A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines.