The BBC don't credit it, but it's a Teensy 3.2 controlling the LEDs (it's only an AVR controlling the fingers ..) http://www.bbc.co.uk/news/disability-36036642