The latest pedal Prog1 is fully programmable and uses the Daisy Seed microcontroller.
Currently in prototype form, all hardware design files and patches are available using open source licenses on github.
Program using Plugdata
Plugdata allows you to program patches using Puredata (Pd) which you can compile straight to the pedal.