Display and control your Android device

Zstandard - Fast real-time compression algorithm

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Open-source keyboard firmware for Atmel AVR and Arm USB families

FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷

An implementation of the TLS/SSL protocols

This repository contains several applications, demonstrating the Meltdown bug.

LastPass command line interface tool

libfaketime modifies the system time for a single application

Wayland compositor for AwesomeWM

Linux utility to configure modifier keys to act as other keys when pressed and released on their own.

This is a repository for the code posted on my blog

Backup and restore management tool for PostgreSQL

Online GUI for QMK Firmware

Open source ECG holter

code + contents of my website, and programming life

fdm source code

Driver for the ED060SC4 E-ink display

Demo Spectre with 70 lines code

Repeat a command until the command succeeds.

Version 7 Unix for a POSIX world

Stream editor adaptor for in-place editing

generative programming & verification