Data Center Systems Lab (@EPFL)

Lausanne, CH

Pinned Repositories

bibcloud
The bibcloud LaTeX utility (and other related LaTeX tools)
Language:TeX9 3 05
crab
Language:C10 3 03
gotee
Language:Go26 6 25
hovercraft
Language:C14 2 01
lancet-tool
Language:C27 6 1116
r2p2
Language:C21 4 18
raft
Language:C1 3 01
redis
Language:C1 3 01
schedsim
Language:Go2 3 05
sonuma-vm
Scale-Out NUMA software development platform
Language:C4 4 06

Data Center Systems Lab (@EPFL)'s Repositories

epfl-dcsl/lancet-tool
Language:C27 6 1116
epfl-dcsl/gotee
Language:Go26 6 25
epfl-dcsl/r2p2
Language:C21 4 18
epfl-dcsl/hovercraft
Language:C14 2 01
epfl-dcsl/crab
Language:C10 3 03
epfl-dcsl/bibcloud
The bibcloud LaTeX utility (and other related LaTeX tools)
Language:TeX9 3 05
epfl-dcsl/sonuma-vm
Scale-Out NUMA software development platform
Language:C4 4 06
epfl-dcsl/schedsim
Language:Go2 3 05
epfl-dcsl/raft
Language:C1 3 01
epfl-dcsl/redis
Language:C1 3 01
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.
Language:C++0 3 00
epfl-dcsl/ptf-persona
The shell (application) for running all PTF-based Persona applications and experiments, including both local and scale-out.
Language:Python0 4 00
epfl-dcsl/cpython
The Python programming language
Language:Python1 0
epfl-dcsl/finite-interface-frame-allocator
Language:Rust0 0
epfl-dcsl/go
The Go programming language
Language:Go3 0
epfl-dcsl/gramine
A library OS for Linux multi-process applications, with Intel SGX support
epfl-dcsl/linux-image
vmlinux image with embedded ramfs
Language:C4 0
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..
Language:Python3 0
epfl-dcsl/ptf-system
The main PTF repository for the TF core.
Language:C++3 0
epfl-dcsl/rust-kernel-drivers
Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier
Language:Rust0 0
epfl-dcsl/serval-paging
Exploration of verified paging using the Serval framework - Semester project by Michael Paper
Language:C2 0
epfl-dcsl/serval-rust
Language:Racket3 0
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)
Language:C0 0