zzattack/ZhangPTCQ
Implementation of Zhang's algorithms for PTCQ and PTCJ queries - for 2ID35 course
Public GitHub Catalog
Discovered Sep 28, 2026
zzattack / MiniLZO
MiniLZO
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.
#12402319GitHub System ID
zzattackOrganization / User
PublicVisibility
ActiveCatalog Status
More from zzattack
zzattack/radiocontroller
Clarion radiocontroller
zzattack/smallprogressmeasures
C# implementation of the Small Progress Measures algorithm due to Jurdzinsky for Parity Game solving
zzattack/mucalc
A model checker for formulae in the modal mu-calculus on LTS's stored in Aldebaran format, using a naive approach or the Emerson-Lei algorithm