zzattack/OpenELEC.tv
OpenELEC - The living room PC for everyone
Public GitHub Catalog
Discovered Sep 26, 2026
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
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.
#5999814GitHub System ID
zzattackOrganization / User
PublicVisibility
ActiveCatalog Status
More from zzattack
zzattack/xbmc
XBMC Main Repository
zzattack/MiniLZO
MiniLZO
zzattack/ZhangPTCQ
Implementation of Zhang's algorithms for PTCQ and PTCJ queries - for 2ID35 course