Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

CircuitPython - a Python implementation for teaching coding with microcontrollers

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

simple neural network library in ANSI C

Atari 8 bit computers, NES and SMS game consoles on your TV with nothing more than a ESP32 and a sense of nostalgia

Retro ESP32 is a turbo charged Odroid Go Launcher, Emulator and ROM Manager

Retro emulation for the ODROID-GO and other ESP32 devices

Arduino core for the tinyAVR 0/1/2-series - Ones's digit 2,4,5,7 (pincount, 8,14,20,24), tens digit 0, 1, or 2 (featureset), preceded by flash in kb. Library maintainers: porting help available!

Multi CompUter Machine Emulator for several MCUs

Adafruit's hacking-friendly Raspberry Pi linux kernel

Low-level libraries and bare metal projects for allwinner F1C100s SOC

NES emulator in Arduino that runs on SAMD51 at full speed w/audio

RTD2660 LCD controller driver for AVR

Linux kernel source tree

A thin API above SAMD peripherals that is uniform across SAMD21 and SAMD51

CircuitPython - a Python implementation for teaching coding with microcontrollers