Только эту библиотеку не получится, а если перейти в корень хранилища (https://github.com/arduino-org/Arduino) -- можно скачать всё сразу или кнопкой "Download ZIP" справа, или с помощью клиента git: командой Код (Bash): git clone https://github.com/arduino-org/Arduino Если будете заниматься программированием серьёзно -- рекомендую освоить git, пригодится.