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

Run spleeter as a pulseaudio plugin in realtime

A Kubernetes mixin for Porter

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.

Advent of Code Solutions for 2020 and beyond!

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

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

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

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

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/

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

Firmware files for the Raspberry Pi

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

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