epfl-dcsl Goto Github PK

bibcloud

The bibcloud LaTeX utility (and other related LaTeX tools)

cpython

The Python programming language

crab

finite-interface-frame-allocator

go

The Go programming language

gotee

hovercraft

lancet-tool

linux-image

vmlinux image with embedded ramfs

luceneplusplus

Lucene++ is an up to date C++ port of the popular Java Lucene library, a high-performance, full-featured text search engine.

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-persona

The shell (application) for running all PTF-based Persona applications and experiments, including both local and scale-out.

ptf-system

The main PTF repository for the TF core.

r2p2

raft

redis

rust-kernel-drivers

Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier

schedsim

serval-paging

Exploration of verified paging using the Serval framework - Semester project by Michael Paper

serval-rust

sonuma-vm

Scale-Out NUMA software development platform

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)