This Pedal is currently available.
Fully-programmable MIDI controller
https://www.disasterareaamps.com/shop/midi-baby
These merchants probably sell this module. Huh?
Included in 15 Pedalboards, 14 are public: