Definitely not an audio mixer - note the little "platters" for virtually manipulating a "record", and the single white cable coming from the rear.

Note the use of off the shelf hardware ( MIDI/USB DJ controller, sending a tempo CC, changing the speed of the (MIDI?) sequence ). I find MIDI to be very usefull in embedded project controllers.