Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards

Sming - powerful open source framework simplifying the creation of embedded C++ applications.

A firmware platform aimed at quick prototyping, built around FreeRTOS and a feature-packed CLI

µCNC - Universal CNC firmware for microcontrollers

NES Emulator with SD card and menu support for the Raspberry PI Pico, Pico 2 and other RP2040/RP2350 based microcontrollers. Play your games from SD card on a HDMI display.

Flight controller software for hobbyist - build your own flight controller.

A not-so-small Forth for Cortex-M

RISC-V linux on the raspberry pi pico 2

ML_SynthTools

Build and uploads LittleFS filesystems for the Arduino-Pico RP2040, RP2350, ESP8266, and ESP32 cores under Arduino IDE 2.2.1 or higher

DOS-like OS for microcontroller boards running Micropython or Circuitpython

grblHAL driver for RP2040/RP2350 (Pi Pico, Pi Pico2 etc)

Compile WebAssembly to native MicroPython modules

High Speed Data Acquisition over HDMI - RP2350 HSTX implementation

RP2040/RP2350 emulator for the testing and debugging of PIO programs

Compiling Raspberry Pi Pico RP2040 / Pico2 RP2350 C/C++ programs on Fedora

Basic DX9-inspired FM synth for Raspberry Pico RP2040 and RP2350.

USBSID-Pico is a RPi Pico (RP2040/W RP2350) based board for interfacing one or two MOS SID chips and/or hardware SID emulators over (WEB)USB with your computer, phone, ASID supporting player or USB midi controller

Ethernet Example for RP2040, RP2350

Arduino library for easy, interrupt driven speech, MP3, AAC, and WAV playback on the Raspberry Pi Pico RP2040, Pico 2 RP2350, and ESP32