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

A repository for learning various heap exploitation techniques.

Disque is a distributed message broker

The seL4 microkernel

A toolkit for embedding hypervisor capabilities in your application

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …

SimpleVisor is a simple, portable, Intel VT-x hypervisor with two specific goals: using the least amount of assembly code (10 lines), and having the smallest amount of VMX-related code to support d…

The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.

A fast, hackable and simple x64 VT-x hypervisor for Windows and Linux. Builtin userspace sandbox and introspection engine.

Fast init for Linux. Cookies included

FUSE implementation for overlayfs

POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.

A simple LD_PRELOAD library to disable SSL certificate verification. Inspired by libeatmydata.

Read Watches in Python

A Small Evaluator for Untyped Lambda Calculus