Stars
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025 Best Paper Award)
Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers
Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretation based) engines and compiling engines.
A code-generating database system with incorporated versioning commands in SQL.
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Stream processing and management platform.
A full-featured license tool to check and fix license headers and resolve dependencies' licenses.
The Prometheus monitoring system and time series database.
A topic-centric list of HQ open datasets.
Modern C++ binding for liburing (io_uring) that features C++ coroutines support
A tool to replace FFXIV in-game text.
oneAPI Threading Building Blocks (oneTBB)
Rust version of THU uCore OS. Linux compatible.
Dynamically provision Stateful Persistent Replicated Cluster-wide Fabric Volumes & Filesystems for Kubernetes that is provisioned from an optimized NVME SPDK backend data storage stack.
Code for paper: Narrowing the Gap Between Serverless and its State with Storage Functions
A new engine for Durable Functions. https://microsoft.github.io/durabletask-netherite
Fast Approximate Membership Filters (C++)