Alternatives and similar repositories for unikernels

Users that are interested in unikernels are comparing it to the libraries listed below

• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆260Updated 3 years ago
• shuveb / sparkler
  A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…
  ☆118Updated 4 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 3 years ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆395Updated 11 months ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆216Updated 5 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆207Updated last week
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆418Updated 2 years ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆610Updated 3 years ago
• dancrossnyc / rxv64
  xv6 OS
  ☆241Updated 2 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 3 months ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆162Updated 2 years ago
• andrewchambers / minias
  A mini x86-64 assembler for fun and learning.
  ☆216Updated 4 months ago
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆298Updated 3 years ago
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆230Updated last year
• bitonic / pipes-speed-test
  ☆184Updated 3 years ago
• pwk4m1 / TinyBIOS
  A mirror of TinyBIOS repository
  ☆311Updated last week
• sbu-fsl / kernel-ml
  Machine Learning Framework for Operating Systems - Brings ML to Linux kernel
  ☆248Updated 3 years ago
• hashlookup / fleur
  Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.
  ☆117Updated 2 years ago
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆611Updated 2 weeks ago
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆578Updated 2 years ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆227Updated last year
• riicchhaarrd / ocean
  Programming language that compiles into a x86 ELF executable.
  ☆169Updated 2 years ago
• ligurio / unreliablefs
  A FUSE-based fault injection filesystem.
  ☆181Updated last year
• gwsystems / composite
  A component-based OS
  ☆190Updated 5 months ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆226Updated 3 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆137Updated this week
• MaaSTaaR / 539kernel
  539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…
  ☆228Updated last year
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆207Updated 2 years ago
• dicksites / KUtrace
  Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, an…
  ☆665Updated 10 months ago