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

Lightweight Window Manager for the X Window System

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

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

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

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

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

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