kmicinski/htltl2mc
Model checker for HyperLTL2
Public GitHub Catalog
Discovered Sep 27, 2026
kmicinski / nodejs-projects
Small node scripts
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.
#8615118GitHub 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