Optimise Linux system performance on demand
A Wayland window-stacking compositor
STM32 core support for Arduino
A Linux version of the Procmon Sysinternals tool
An educational 32-bit linux-like Operating System
2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
Cross-platform, C implementation of the IETF QUIC protocol
The systemd system and service manager
Scalable, optimized, secure RTOS for multiple hardware architectures
coturn TURN server project
CoolPotOS for ia32 / amd64
i3-compatible Wayland compositor
Fast Desktop Switching Device
Open source driver and user-space daemon to control Razer lighting
A UNIX-like kernel for the i386 architecture
open-source IEEE 802.11 WiFi baseband FPGA (chip) design
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
A small operating system where I experiment and learn osdev
Simple yet fancy CPU architecture fetching tool
Performance monitoring and benchmarking suite
Helping students read all the code of a teaching operating system
A Wayland compositor inspired by Window Maker
eBPF-based Linux kernel networking debugger
Ncurses-based monitoring application for wireless network devices
SDK for connecting to AWS IoT from a device using embedded C