Stars
musl - an implementation of the standard library for Linux-based systems - ( Downstream )
Helpful kernel tutorials and examples for tile-based GPU programming
The core components of the L4Re operating system.
Userspace eBPF Runtime Benchmarking Test Suite and Results
JIT compiler and runtime for a toy language, using Cranelift
Rust virtual machine and JIT compiler for eBPF programs
Generate a `compile_commands.json` from a Bazel workspace
FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!
本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验，以及前置课程ICS/CSAPP的系列实验。
CRS-自建Claude Code镜像，一站式开源中转服务，让 Claude、OpenAI、Gemini、Droid 订阅统一接入，支持拼车共享，更高效分摊成本，原生工具无缝使用。
gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI
Yahoo! Cloud Serving Benchmark in C++, a C++ version of YCSB (https://github.com/brianfrankcooper/YCSB/wiki)
YCSB written in C++ for embedded databases. (supporting LevelDB, RocksDB, LMDB, WiredTiger, and SQLite)
A Rust-based userland which also adds compile-time assurances to seL4 development.
Mirror of the official Barrelfish OS repository.
A simple operating system (SOS) built on top of the seL4 microkernel
small, fast memset based on microsoft's design
Switch and track your input sources with ease ✨