Data Center Systems Lab (@EPFL)'s repositories
LucenePlusPlus
Lucene++ is an up to date C++ port of the popular Java Lucene library, a high-performance, full-featured text search engine.
ptf-persona
The shell (application) for running all PTF-based Persona applications and experiments, including both local and scale-out.
linux-image
vmlinux image with embedded ramfs
patched-bootloader
An experimental pure-Rust x86 bootloader - Patched for our needs
persona-orig
A fork of https://github.com/epfl-vlsc/persona for the few non-ported features of PTF-Persona, such as dataset conversion and other offline stuff..
ptf-system
The main PTF repository for the TF core.
rust-kernel-drivers
Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier
serval-paging
Exploration of verified paging using the Serval framework - Semester project by Michael Paper
tyche-redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)