cs-au-dk/TIP
Static program analysis for TIP
Public GitHub Catalog
Discovered Oct 5, 2026
cs-au-dk / thor
Public repository discovered through GitHub real-time crawl.
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.
#29338791GitHub System ID
cs-au-dkOrganization / User
PublicVisibility
ActiveCatalog Status
More from cs-au-dk
cs-au-dk/protocolfiller
Public repository.
cs-au-dk/MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
cs-au-dk/XSLV
static validation of XSL Transformations