usually use Arduino IDE on PICO and ESP boards, but Circuit Python and Micro Python is a valid option.