Linux kernel source tree

Display and control your Android device

Modern HTTP benchmarking tool

🎥 Command line video player

TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.

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…

A little tool to play with Windows security

An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.

i3-compatible Wayland compositor

The systemd System and Service Manager

Embed the Power of Lua into NGINX HTTP servers

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/

Distributed PostgreSQL as an extension

OpenZFS on Linux and FreeBSD

Extremely Fast Compression algorithm

The future of online communications.

A tiling window manager based on binary space partitioning

πfs - the data-free filesystem!

A Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load and more. Discord: https://discordapp.com/invite/Gj5YmBb

Official git repo for iodine dns tunnel

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…

Linux namespaces and seccomp-bpf sandbox

Course materials for Modern Binary Exploitation by RPISEC

The seL4 microkernel

An extremely low latency KVMFR (KVM FrameRelay) implementation for guests with VGA PCI Passthrough.

Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port)

The "Activate Windows" watermark ported to Linux

UEFI firmware image viewer and editor

Protocol Buffers with small code size

Audio playback and capture library written in C, in a single source file.