| Pico SDK (C/C++) for RP2040-based devices such as the RaspberryPi Pico | |
| https://github.com/raspberrypi/pico-sdk | |
| pico-sdk-1.5.1 | BSD |
| download~amd64 | kripton-overlay |
| pico-sdk-1.5.0 | BSD |
| download~amd64 | kripton-overlay |
| pico-sdk-1.4.0 | BSD |
| download~amd64 | kripton-overlay |
| pico-sdk-1.3.1 | BSD |
| download~amd64 | kripton-overlay |
| pico-sdk-1.3.0 | BSD |
| download~amd64 | kripton-overlay |
| pico-sdk-1.2.0 | BSD |
| download~amd64 | kripton-overlay |