davidhildenbrand/allen-temporal-logic--seminar-schedule-verifier
Verification of certain constraints of seminar schedules using allen temporal logic and allen temporal networks
Public GitHub Catalog
Discovered Sep 25, 2026
davidhildenbrand / Multicast-Testing-Tool
Java tool for testing the IP-multicasting capabilities of networks.
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.
#4087930GitHub System ID
davidhildenbrandOrganization / User
PublicVisibility
ActiveCatalog Status