Pinned Repositories
bibcloud
The bibcloud LaTeX utility (and other related LaTeX tools)
crab
gotee
hovercraft
lancet-tool
r2p2
raft
redis
schedsim
sonuma-vm
Scale-Out NUMA software development platform
Data Center Systems Lab (@EPFL)'s Repositories
epfl-dcsl/lancet-tool
epfl-dcsl/gotee
epfl-dcsl/r2p2
epfl-dcsl/hovercraft
epfl-dcsl/crab
epfl-dcsl/bibcloud
The bibcloud LaTeX utility (and other related LaTeX tools)
epfl-dcsl/sonuma-vm
Scale-Out NUMA software development platform
epfl-dcsl/schedsim
epfl-dcsl/raft
epfl-dcsl/redis
epfl-dcsl/LucenePlusPlus
Lucene++ is an up to date C++ port of the popular Java Lucene library, a high-performance, full-featured text search engine.
epfl-dcsl/ptf-persona
The shell (application) for running all PTF-based Persona applications and experiments, including both local and scale-out.
epfl-dcsl/cpython
The Python programming language
epfl-dcsl/finite-interface-frame-allocator
epfl-dcsl/go
The Go programming language
epfl-dcsl/gramine
A library OS for Linux multi-process applications, with Intel SGX support
epfl-dcsl/linux-image
vmlinux image with embedded ramfs
epfl-dcsl/patched-bootloader
An experimental pure-Rust x86 bootloader - Patched for our needs
epfl-dcsl/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..
epfl-dcsl/ptf-system
The main PTF repository for the TF core.
epfl-dcsl/rust-kernel-drivers
Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier
epfl-dcsl/serval-paging
Exploration of verified paging using the Serval framework - Semester project by Michael Paper
epfl-dcsl/serval-rust
epfl-dcsl/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.
epfl-dcsl/unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)