Linux kernel source tree

For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

stb single-file public domain libraries for C/C++

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

Inference Llama 2 in one file of pure C

A free Windows-compatible Operating System

Tinyhttpd 是J. David Blackstone在1999年写的一个不到 500 行的超轻量型 Http Server，用来学习非常不错，可以帮助我们真正理解服务器程序的本质。官网:http://tinyhttpd.sourceforge.net

A small C compiler

Xv6 for RISC-V

Projects for an undergraduate OS course

The seL4 microkernel

A constant throughput, correct latency recording variant of wrk

GNU toolchain for RISC-V, including GCC

eBPF Developer Tutorial: Learning eBPF Step by Step with Examples

个人整理的《深入理解计算机系统》中文电子版（原书第 3 版）与实验材料：https://hansimov.gitbook.io/csapp/

Unified Communication X (mailing list - https://elist.ornl.gov/mailman/listinfo/ucx-group)

RISC-V Open Source Supervisor Binary Interface

Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)

Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support

A library OS for Linux multi-process applications, with Intel SGX support

A novel container runtime, aka confidential container, for cloud-native confidential computing and enclave runtime ecosystem.

Xvisor: eXtensible Versatile hypervISOR

Keystone Enclave (QEMU + HiFive Unleashed)

A binary-compatible unikernel

Intel SGX Linux* Driver

把代码排版为炮姐（御坂美琴）的样子，居然能运行，能唱歌

可视化路由追踪

A data analytics platform using Partial Homomorphic Encryption