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/

Community-contributed instructions, prompts, and configurations to help you make the most of GitHub Copilot.

This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.

Porter enables you to package your application artifact, client tools, configuration and deployment logic together as an installer that you can distribute, and install with a single command.

EtherCard is an IPv4 driver for the ENC28J60 chip, compatible with Arduino IDE

Firmware files for the Raspberry Pi

Kubernetes Director (aka KubeDirector) for deploying and managing stateful applications on Kubernetes

Python API for controlling GPIO and I2C devices connected to the Raspberry Pi

Use the GPIO pins on the Raspberry Pi without running as root

Run spleeter as a pulseaudio plugin in realtime

Systemd-based monitoring of a GPIO pin (for Raspberry Pi)

A Kubernetes mixin for Porter

Quick Python program to speed up scanning photos using an HP Envy AIO Printer

Use the GPIO pins on the Raspberry Pi without running as root

Python API for controlling GPIO and I2C devices connected to the Raspberry Pi

Advent of Code Solutions for 2020 and beyond!

Lightweight Window Manager for the X Window System

Dummy SMTP server with GUI for testing emails in applications easily.

A simple python service to read temperatures from two TMP100 sensors via i2c and HTTP serve and log results