I would assume this one uses a custom driver for convenience, but if you wouldn't be against setting up key-mapping (as if it were a secondary keyboard) it'd be fairly simple to do with a Teensy.
I was discussing a MIDI based page turning pedal with someone here a couple years ago, this would be a similar concept.