zzattack/MiniLZO
MiniLZO
Public GitHub Catalog
Discovered Sep 26, 2026
zzattack / smallprogressmeasures
C# implementation of the Small Progress Measures algorithm due to Jurdzinsky for Parity Game solving
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.
#6513566GitHub System ID
zzattackOrganization / User
PublicVisibility
ActiveCatalog Status
More from zzattack
zzattack/ZhangPTCQ
Implementation of Zhang's algorithms for PTCQ and PTCJ queries - for 2ID35 course
zzattack/radiocontroller
Clarion radiocontroller
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