kmicinski/htltl2mc
Model checker for HyperLTL2
Public GitHub Catalog
Discovered Sep 26, 2026
kmicinski / rtc
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.
#7809972GitHub System ID
kmicinskiOrganization / User
PublicVisibility
ActiveCatalog Status
More from kmicinski
kmicinski/secretsanta-mailer
A program to generate and mail secret santa notifications to a group of people
kmicinski/transformers-tutorial
Monad transformers tutorial
kmicinski/hadoop-class-project
Hadoop class project for Jimmy Lin's class