Antoine Kaufmann's repositories
openbsd-httpd-linux
Linux port for openbsd httpd
academic-webpage
My academic webpage at https://people.mpi-sws.org/~antoinek/
static-distro
Experiment for building lightweight containers with statically linked packages
benchmarks
Benchmarks we used to evaluate TAS (includes microbenchmarks and two applications)
bibliography
My bibtex database of (predominantly) OS and networking papers
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
github-gitlab-ci-sync
Service for mirroring a master github repo to gitlab (community) and set github commit status based on gitlab CI results
lowlevel-forum
Repository for lowlevel forum
lowlevel-wiki
Repository for lowlevel wiki
openhab-cloud
Cloud companion for openHAB instances
paper-template
Our group paper template
sosp21-www
SOSP 2019 Website
tas-debian
Debian packaging for TAS