Revealing the Unstable Foundations of eBPF-Based Kernel Extensions

cuVS - a library for vector search and clustering on the GPU

An Aspiring Drop-In Replacement for NumPy at Scale

The world's fastest CRDT. WIP.

Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.

A secure, fast, and adaptable OS based on the seL4 microkernel

Limbo is a project to build the modern evolution of SQLite.

MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.

OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

Bear is a tool that generates a compilation database for clang tooling.

Official Git mirror of the SQLite source tree

veristat is the tool for loading, verifying, and debugging BPF object files

Fastest library to load data from DB to DataFrames in Rust and Python

a library that implements a POSIX style filesystem on top of an SQLite database

plf::hive is a fork of plf::colony to match the current C++ standards proposal.

Statistics-driven benchmarking library for Rust

Command-line sampling profiler for macOS, Linux, and Windows

eBPF library for Go. Powered by libbpf.

B+ Tree External Merge Sort - UWM CS 764 Course Project

Rust microbenchmarking harness based on paired-testing methodology

Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels

Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.

Knowledge management for the impatient

10x lower latency for cloud-native DataFusion

Finding better Memory Tiering Policy. From final project for AdOS (CS 736) of UW-Madison.

A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

A lightweight data processing framework built on DuckDB and 3FS.