Skip to content
Change the repository type filter

All

    Repositories list

    • Linux kernel source tree
      C
      Other
      62k000Updated Apr 20, 2026Apr 20, 2026
    • fold

      Public
      Rust
      MIT License
      0000Updated Apr 15, 2026Apr 15, 2026
    • bibcloud

      Public
      The bibcloud LaTeX utility (and other related LaTeX tools)
      TeX
      61100Updated Apr 11, 2026Apr 11, 2026
    • Rust
      MIT License
      110182Updated Apr 4, 2026Apr 4, 2026
    • C
      Other
      0000Updated Apr 1, 2026Apr 1, 2026
    • C
      Other
      0002Updated Mar 30, 2026Mar 30, 2026
    • C++
      3800Updated Mar 18, 2026Mar 18, 2026
    • schedsim

      Public
      Go
      5300Updated Feb 23, 2026Feb 23, 2026
    • Benchmarks for Miralis
      Python
      0000Updated Sep 1, 2025Sep 1, 2025
    • Artifacts for the SOSP'25 paper "The Design and Implementation of a Virtual Firmware Monitor"
      Rust
      0400Updated Aug 10, 2025Aug 10, 2025
    • C
      Apache License 2.0
      3300Updated Aug 6, 2025Aug 6, 2025
    • Python
      0000Updated Aug 6, 2025Aug 6, 2025
    • Keystone binary for integration testing of Miralis
      Makefile
      2000Updated Jul 28, 2025Jul 28, 2025
    • A fork of kvmtool to use with Tyche
      C
      GNU General Public License v2.0
      0000Updated Jul 22, 2025Jul 22, 2025
    • Documentation and notes about the SiFive Premier P550 board
      Shell
      0000Updated Mar 25, 2025Mar 25, 2025
    • Documentation and notes about the VisionFive2 board
      Makefile
      0000Updated Mar 25, 2025Mar 25, 2025
    • Miralis is an experimental system that virtualises firmware | fork with support for the ACE security monitor
      Rust
      MIT License
      5100Updated Mar 4, 2025Mar 4, 2025
    • Sail RISC-V model
      Coq
      Other
      259000Updated Feb 15, 2025Feb 15, 2025
    • gramine

      Public
      A library OS for Linux multi-process applications, with Intel SGX support
      C
      GNU Lesser General Public License v3.0
      223001Updated Feb 6, 2025Feb 6, 2025
    • Repo to automate builds dans distribute binaries of the Spike RISC-V ISA simulator for github CI
      Makefile
      0000Updated Nov 19, 2024Nov 19, 2024
    • C
      Other
      0000Updated Oct 16, 2024Oct 16, 2024
    • C
      MIT License
      183092Updated Aug 16, 2024Aug 16, 2024
    • Redis setup to run on top of Tyche
      C
      0000Updated Jul 19, 2024Jul 19, 2024
    • Musl fork for Tyche
      C
      Other
      0000Updated Jul 19, 2024Jul 19, 2024
    • 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…
      C
      Other
      25k000Updated Jun 27, 2024Jun 27, 2024
    • An experimental pure-Rust x86 bootloader - Patched for our needs
      Rust
      Apache License 2.0
      230000Updated Mar 15, 2024Mar 15, 2024
    • unikraft

      Public
      Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
      C
      Other
      1.5k000Updated Feb 20, 2024Feb 20, 2024
    • Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier
      Rust
      1100Updated May 17, 2023May 17, 2023
    • vmlinux image with embedded ramfs
      C
      0000Updated Mar 31, 2023Mar 31, 2023
    • Racket
      0100Updated Mar 5, 2023Mar 5, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.