Skip to content
@epfl-dcsl

Data Center Systems Lab (@EPFL)

Popular repositories Loading

  1. lancet-tool lancet-tool Public

    C 27 17

  2. gotee gotee Public

    Go 25 5

  3. r2p2 r2p2 Public

    C 21 9

  4. hovercraft hovercraft Public

    C 14 1

  5. crab crab Public

    C 10 4

  6. bibcloud bibcloud Public

    The bibcloud LaTeX utility (and other related LaTeX tools)

    TeX 9 5

Repositories

Showing 10 of 28 repositories
  • spike-ci-artifact Public

    Repo to automate builds dans distribute binaries of the Spike RISC-V ISA simulator for github CI

    epfl-dcsl/spike-ci-artifact’s past year of commit activity
    Makefile 0 0 0 0 Updated Nov 19, 2024
  • gramine Public Forked from gramineproject/gramine

    A library OS for Linux multi-process applications, with Intel SGX support

    epfl-dcsl/gramine’s past year of commit activity
    C 0 LGPL-3.0 203 0 1 Updated Oct 30, 2024
  • bibcloud Public

    The bibcloud LaTeX utility (and other related LaTeX tools)

    epfl-dcsl/bibcloud’s past year of commit activity
    TeX 9 5 0 0 Updated Oct 18, 2024
  • epfl-dcsl/tyche-eyrie’s past year of commit activity
    C 0 0 0 0 Updated Oct 16, 2024
  • tyche-kvmtool Public

    A fork of kvmtool to use with Tyche

    epfl-dcsl/tyche-kvmtool’s past year of commit activity
    C 0 GPL-2.0 0 0 0 Updated Sep 30, 2024
  • epfl-dcsl/lancet-tool’s past year of commit activity
    C 27 MIT 17 9 2 Updated Aug 16, 2024
  • tyche-redis Public Forked from redis/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/tyche-redis’s past year of commit activity
    C 0 24,113 0 0 Updated Jun 27, 2024
  • patched-bootloader Public Forked from rust-osdev/bootloader

    An experimental pure-Rust x86 bootloader - Patched for our needs

    epfl-dcsl/patched-bootloader’s past year of commit activity
    Rust 0 Apache-2.0 217 0 0 Updated Mar 15, 2024
  • unikraft Public Forked from unikraft/unikraft

    Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

    epfl-dcsl/unikraft’s past year of commit activity
    C 0 1,487 0 0 Updated Feb 20, 2024
  • rust-kernel-drivers Public Forked from NoeTerrier/noe-ba-project

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

    epfl-dcsl/rust-kernel-drivers’s past year of commit activity
    Rust 1 1 0 0 Updated May 17, 2023

Top languages

Loading…

Most used topics

Loading…