tomshen/cmu-notes
Public repository.
Public GitHub Catalog
Discovered Oct 5, 2026
tomshen / ProPPR
Graph-algorithm inferences over local groundings of first-order logic programs
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.
#31036078GitHub System ID
tomshenOrganization / User
PublicVisibility
ActiveCatalog Status
More from tomshen
tomshen/tartanhacks
Tartanhacks Website 2015
tomshen/learnjs
Public repository.
tomshen/bootswitch
Bookmarklet for Bootstrap theme live preview