Skip to content
@epfl-dcsl

Data Center Systems Lab (@EPFL)

Popular repositories Loading

  1. lancet-tool lancet-tool Public

    C 29 17

  2. gotee gotee Public

    Go 25 5

  3. r2p2 r2p2 Public

    C 23 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 40 repositories
  • miralis-benchmark Public

    Benchmarks for Miralis

    Python 0 0 0 0 Updated Mar 4, 2025
  • miralis-ace Public Forked from CharlyCst/miralis

    Miralis is an experimental system that virtualises firmware | fork with support for the ACE security monitor

    Rust 0 MIT 1 0 0 Updated Mar 4, 2025
  • tyche-devel Public
    Rust 1 MIT 0 18 1 Updated Mar 2, 2025
  • SIRD-Caladan-Impl Public
    0 0 0 0 Updated Feb 23, 2025
  • SIRD-Simulator Public
    0 0 0 0 Updated Feb 23, 2025
  • miralis-sail-riscv Public Forked from riscv/sail-riscv

    Sail RISC-V model

    Coq 0 189 0 0 Updated Feb 15, 2025
  • gramine Public Forked from gramineproject/gramine

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

    C 0 LGPL-3.0 210 0 1 Updated Feb 6, 2025
  • linux-kvm-tyche Public
    C 0 0 0 2 Updated Jan 29, 2025
  • visionfive2-doc Public

    Documentation and notes about the VisionFive2 board

    Makefile 0 0 0 0 Updated Jan 20, 2025
  • miralis-artifact-keystone Public Forked from FredKhayat/miralis-artifact-keystone

    Keystone binary for integration testing of Miralis

    Makefile 0 2 0 0 Updated Jan 15, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…