xrchz/Glock
Clock in and out of google calendar events from the command line
Public GitHub Catalog
Discovered Sep 24, 2026
xrchz / MM76
Mechanization of "Unification in Linear Time and Space: A Structured Presentation" by Martelli and Montanari in HOL4.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#887079GitHub System ID
xrchzOrganization / User
PublicVisibility
ActiveCatalog Status
More from xrchz
xrchz/ss
Public repository.
xrchz/thesis
A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines.
xrchz/HOL4-impconv
Implicational conversions for HOL4