Does anyone know more about the underlying software? QLab[1] is the standard theatre light/sound/video/etc tool, and I can think of a couple of ways you could (in theory) build this in there. Is that what they did, or something else?
From what I can find and I believe it pretty much all custom right now. I would guess it has ether MSC or OSC to receive key cues from QLab or other show control, but actually being run by custom software.