Skip to content

@unikernelLinux unikernelLinux

Change the repository type filter

All

    Repositories list

    23 repositories

    • valkey

      Public
      A flexible distributed key-value datastore that supports both caching and beyond caching workloads.
      C
      •
      Other
      •698•0•0•0•Updated Jan 3, 2025Jan 3, 2025

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •55k•8•0•0•Updated Jan 3, 2025Jan 3, 2025

    • ukl

      Public
      Unikernel Linux
      Makefile
      •
      GNU Lesser General Public License v2.1
      •16•184•6•0•Updated Nov 22, 2024Nov 22, 2024

    • 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 Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •24k•2•0•0•Updated Nov 18, 2024Nov 18, 2024

    • cpython

      Public
      The Python programming language
      Python
      •
      Other
      •31k•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
      •404•0•0•0•Updated Oct 26, 2024Oct 26, 2024

    • memcached

      Public
      memcached development tree
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •3.3k•0•0•0•Updated Aug 9, 2024Aug 9, 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
      •11•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
      •11•0•0•0•Updated Feb 12, 2023Feb 12, 2023

    • new_lebench

      Public
      C
      •1•0•0•0•Updated Feb 6, 2023Feb 6, 2023

    • Lupine-Linux

      Public
      Linux in Unikernel Clothing
      Shell
      •22•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 Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •24k•0•0•0•Updated Nov 16, 2022Nov 16, 2022

    • fio

      Public
      Flexible I/O Tester
      C
      •
      GNU General Public License v2.0
      •1.3k•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
      •138•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
      •69•0•0•0•Updated May 20, 2020May 20, 2020