Arduino IDE could also program ESP32 and Raspberry Pi series of microcontrollers. To install those microcontroller boards, paste the following into Preferences --> Additional boards manager URLs
https://espressif.github.io/arduino-esp32/package_esp32_index.json
https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json