This Pedal is currently available.
Generative Sequencer
A powerful generative Midi sequencer. USB powered via type C connector.
https://torsoelectronics.com/t-1/
Included in 7 Pedalboards, 2 are public: