Linux Kernel Runtime Guard

Lightweight TCP/IP stack with no dynamic memory allocations

Open source version of DOCA GPUNetIO and DOCA Verbs libraries (limited features) to enable GDAKI technology on RDMA (IB and RoCE)

OpenTitan: Open source silicon root of trust

Userspace linux debug utilities for mlx5 ConnectX devices over mlx5ctl uAPI

A high-performance, thread-safe HashMap and LRU cache for Rust with fine-grained per-key locking.

A SystemVerilog language server based on the Slang library.

Zero-dependency Linux memory forensics PoC — leverages kernel-embedded BTF and kallsyms for type-aware memory analysis without external debug info.

NWNX4

Neverwinter Nights Extender 2 - Linux version

Codev helps humans and agents co-develop both the context and the code of the project.

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

Your computer is a cosmic ray detector. Literally.

A libbpf based tracer to help figure out what an application is doing.

Immutable.Friendly.Secure — Reliable embedded Linux for any device

Low-level debug tools for MDIO devices.

the TCPdump network dissector

In-depth tutorials on LLMs, RAGs and real-world AI agent applications.

McKernel

Linux Cross-Memory Attach

/proc/kcore without the user pages

Explanation to key concepts in ML

UefiGamePkg: Collection of UEFI games

Microkit - A simple operating system framework for the seL4 microkernel