Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards
earlephilhower/arduino-pico has 2,878 GitHub stars.
It currently ranks #23177 daily, #23845 weekly, #26167 monthly by momentum on Trending Repos; its best-ever rank is #4578.