He uses an Arduino Uno to control them, and a 460W computer power supply to provide the juice. The LED modules themselves are Adafruit RGB pixel strings. There’s actually three of the LED ...

He controls the lights with an Arduino Pro and an SSR controller board ... built around an MC3042 as the opto-coupler, with a power supply he made from a scrap transformer.