IDE Arduino
Accedemos a la web de Arduino: https://www.arduino.cc/en/software
Seleccionamos nuestro sistema operativo y le damos a descargar, mostrándonos una pantalla como la siguiente:
Tras pulsar la opción "Just Download", se descargará un archivo instalador: