Raspberry Pi Pico może być programowane w Arduino IDE:
https://www.tomshardware.com/how-to/program-raspberry-pi-pico-with-arduino-ide