thinkpad20/sublime-ur
Ur/web syntax definition for Sublime Text
Public GitHub Catalog
Discovered Sep 27, 2026
thinkpad20 / sublime-text-packages
My Sublime Text 2 Packages
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.
#11008928GitHub System ID
thinkpad20Organization / User
PublicVisibility
ActiveCatalog Status
More from thinkpad20
thinkpad20/urweb
Unofficial clone of impredicative.com urweb repo
thinkpad20/sublimecoq
Sublime text mode for coq.
thinkpad20/software-foundations
My work in the software foundations course.