A code-searching tool similar to ack, but faster.

Alternative firmware for ESP8266 and ESP32 based devices with easy configuration using webUI, OTA updates, automation using timers or rules, expandability and entirely local control over MQTT, HTTP…

Learning operating system development using Linux kernel and Raspberry Pi

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/

OpenZFS on Linux and FreeBSD

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

tiniest x86-64-linux emulator

xhyve, a lightweight OS X virtualization solution

A dynamic language and bytecode vm

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

Python frame stack sampler for CPython

Baresip is a modular SIP User-Agent with audio and video support

Yet one more wrapper around jail, bhyve, QEMU and XEN

SIIT and NAT64 for Linux

NETCONF toolset

u-boot for odroid

Pinger engine for monitoring latency and loss

Thread synchronization utilities for Python

Handy things you can run on a Dell N11XX switch to make it smarter than you would likely want it to be

a placeholder

Development linux kernel tree for all things ddbridge related

Tvheadend is a TV streaming server for Linux supporting DVB-S, DVB-S2, DVB-C, DVB-T, ATSC, IPTV,SAT>IP and other formats through the unix pipe as input sources.