Available as an assembled Pedal and as a DIY project.
This Pedal is currently available.
Raspberry Pi + Sound Card and MIDI interface
Raspberry Pi
single-board computer
Pisound
ultra-low latency high-quality sound card and MIDI interface specially designed for Raspberry Pi pocket computers.