Skip to content

@unikernelLinux unikernelLinux

Change the repository type filter

All

    Repositories list

    24 repositories

    • upcalls

      Public
      The upcall project, not actually connected to UKL but homed here.
      C
      •
      GNU General Public License v3.0
      •1•1•0•0•Updated Apr 8, 2026Apr 8, 2026

    • new_lebench

      Public
      C
      •2•0•0•0•Updated Apr 6, 2026Apr 6, 2026

    • valkey

      Public
      A flexible distributed key-value datastore that supports both caching and beyond caching workloads.
      C
      •
      Other
      •1.1k•0•0•0•Updated Mar 12, 2026Mar 12, 2026

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •62k•8•0•0•Updated Feb 3, 2026Feb 3, 2026

    • memcached

      Public
      memcached development tree
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •3.3k•0•0•0•Updated Jan 3, 2026Jan 3, 2026

    • ukl

      Public
      Unikernel Linux
      C
      •
      GNU Lesser General Public License v2.1
      •19•228•6•0•Updated Aug 13, 2025Aug 13, 2025

    • redis

      Public
      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
      •
      BSD 3-Clause "New" or "Revised" License
      •25k•2•0•0•Updated Nov 18, 2024Nov 18, 2024

    • cpython

      Public
      The Python programming language
      Python
      •
      Other
      •34k•0•0•0•Updated Oct 28, 2024Oct 28, 2024

    • glibc

      Public
      C
      •
      GNU General Public License v2.0
      •1•1•0•1•Updated Oct 27, 2024Oct 27, 2024

    • glibc-1

      Public
      glibc for Unikernel Linux applications
      C
      •
      Other
      •463•0•0•0•Updated Oct 26, 2024Oct 26, 2024

    • ukl-eurosy23-artifacts

      Public
      Makefile
      •
      Other
      •0•1•0•0•Updated Mar 15, 2023Mar 15, 2023

    • init-tools

      Public
      Tools for initializing a machine running a ukl kernel
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Mar 1, 2023Mar 1, 2023

    • virtual-experiments

      Public
      Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).
      Shell
      •12•0•0•0•Updated Feb 13, 2023Feb 13, 2023

    • eurosys21-artifacts

      Public
      Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).
      Assembly
      •12•0•0•0•Updated Feb 12, 2023Feb 12, 2023

    • Lupine-Linux

      Public
      Linux in Unikernel Clothing
      Shell
      •24•0•0•0•Updated Dec 16, 2022Dec 16, 2022

    • redis-1

      Public
      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
      •
      BSD 3-Clause "New" or "Revised" License
      •25k•0•0•0•Updated Nov 16, 2022Nov 16, 2022

    • fio

      Public
      Flexible I/O Tester
      C
      •
      GNU General Public License v2.0
      •1.4k•0•0•0•Updated Oct 18, 2022Oct 18, 2022

    • ukl_v8

      Public
      v8 repository. This is necessary because of required changes to .ninja build files.
      Python
      •0•0•0•0•Updated Jul 11, 2022Jul 11, 2022

    • libevent

      Public
      C
      •
      Other
      •1•0•0•0•Updated May 17, 2022May 17, 2022

    • min-initrd

      Public
      C
      •7•1•0•0•Updated Mar 23, 2022Mar 23, 2022

    • gapbs

      Public
      GAP Benchmark Suite
      C++
      •
      Other
      •167•0•0•0•Updated Mar 23, 2022Mar 23, 2022

    • unikernelLinux

      Public
      Makefile
      •3•5•2•0•Updated Aug 17, 2020Aug 17, 2020

    • LEBench

      Public
      C
      •
      Other
      •46•0•0•0•Updated May 24, 2020May 24, 2020

    • mutilate

      Public
      Mutilate: high-performance memcached load generator
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •75•0•0•0•Updated May 20, 2020May 20, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.