Stars
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
MSVC headers and libraries in POSIX sysroot style
The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)
A Git-compatible VCS that is both simple and powerful
Kyanos is a networking analysis tool using eBPF. It can visualize the time packets spend in the kernel, capture requests/responses, makes troubleshooting more efficient.
chipStar is a tool for compiling and running HIP/CUDA on SPIR-V via OpenCL or Level Zero APIs.
eBPF distributed networking observability tool for Kubernetes
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…
Scripts for btrfs maintenance tasks like periodic scrub, balance, trim or defrag on selected mountpoints or directories.
Rasdaemon is a RAS (Reliability, Availability and Serviceability) logging tool. It records memory errors, using the EDAC tracing events. EDAC is a Linux kernel subsystem with handles detection of E…
Verifying concurrent storage and distributed systems
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
WinBtrfs - an open-source btrfs driver for Windows
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
A collection of TLA⁺ specifications of varying complexities.
A workbench for writing toy implementations of distributed systems.
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Knowhere is an open-source vector search engine, integrating FAISS, HNSW, etc.
US immigration FAQ with a focus on the tech industry
Development scripts and notes for Btrfs fscrypt