Stars
A fast type checker and language server for Python
Microkernel-Based Research Operating System Written in Rust
Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security
A lock-free, read-optimized, concurrency primitive.
Cloud-native high-performance edge/middle/service proxy
Cista is a simple, high-performance, zero-copy C++ serialization & reflection library.
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
A library of C++ coroutine abstractions for the coroutines TS
A safe and fast multi-producer, multi-consumer channel.
Nu is a new datacenter system that enables developers to build fungible applications that can use datacenter resources wherever they are.
Tuplex is a parallel big data processing framework that runs data science pipelines written in Python at the speed of compiled code. Tuplex has similar Python APIs to Apache Spark or Dask, but rath…
MySQL-compatible database for GDPR compliance by construction.
A system for prompted weak supervision. Alfred is a powerful tool that leverages large language models to accelerate data annotation.
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
C++11/14/17 std::expected with functional-style extensions
This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.
MirageOS is a library operating system that constructs unikernels
Range library for C++14/17/20, basis for C++20's std::ranges
DuckDB is an analytical in-process SQL database management system
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
A better compressed bitset in Java: used by Apache Spark, Netflix Atlas, Apache Pinot, Tablesaw, and many others