Kodi is an award-winning free and open source home theater/media center software and entertainment hub for digital media. With its beautiful interface and powerful skinning engine, it's available f…

Tvheadend is the leading TV streaming server for Linux with ATSC, DVB-C/C2, DVB-S/S2, DVB-T/T2, IPTV, SAT>IP and unix pipe input sources

Empowering everyone to build reliable and efficient software.

Arduino core for the ESP32

Espressif IoT Development Framework. Official development framework for Espressif SoCs.

Linux kernel source tree

🏡 Open source home automation that puts local control and privacy first.

Simple DirectMedia Layer

Super-project for modularized Boost

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

Dual-mode Bluetooth stack, with small memory footprint.

The Free Software Media System - Server Backend & API

A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)

Protocol Buffers - Google's data interchange format

The Sphinx documentation generator

Firmware for esp_rgbww_controller (https://github.com/patrickjahns/esp_rgbww_controller) based on Sming framework

An open source cross-platform USB stack for embedded system

Chris Titus Tech's Windows Utility - Install Programs, Tweaks, Fixes, and Updates

Windows Subsystem for Linux

📟 JSON library for Arduino and embedded C++. Simple and efficient.

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

CPU-X is a Free software that gathers information on CPU, motherboard and more

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/

Kodi's NextPVR client addon

TBS linux open source drivers

Embedded Wi-Fi Host Driver that provides a set of APIs to interact with Cypress WLAN chips

Deye/Sunsynk Inverter Python library and Home Assistant OS Addon

Firmware for the ZuluSCSI advanced SCSI emulator