A verified library of synchronization primitives and concurrent data structures

Userspace networking library. HTTP/TCP/IP/Ethernet/RMII/MDIO/UDP/NTP/DHCP/DNS blabla. Runs on a couple kB of RAM

A programming language in Turkish where grammatical case and mood are part of the type system.

This repo is a mirror of the official userspace-rcu git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace RCU (read-copy-update) library. This data synchronization lib…

Linux virtual machines, with a focus on running containers

Bit-banged 100 MBit/s Fast Ethernet transmitter and UDP framer for Raspberry Pi RP2040/RP2350

History of the 9k (64-bit Plan 9) kernel (2011 - 2013).

Concatenate a directory full of files into a single prompt for use with LLMs

Lock-free ring buffer (MPSC)

A tool for building the Linux kernel or other software with many different compilers in Docker/Podman containers

Investigate kernel error call stacks

Quickly build and run kernels inside a virtualized snapshot of your live system

Proof-of-concept implementation and benchmark of zero-copy shared-memory transport

The official Google release of packetdrill

QSBR and EBR library

A powerful static binary rewriting tool

File formats dissections and more...

A flexible Python 2/3 Kconfig implementation and library

An image viewer for sixel terminals.

A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux

Industrial control systems in Go

Programmable debugger

Continuous Unix commit history from 1970 until today

Selected Go-internal packages factored out from the standard library

Flexible Zero-Footprint JSON Parser in C

Linux userspace traffic shaper

The lcc retargetable ANSI C compiler