Alternatives and similar repositories for unikernels

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

• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆259Updated 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
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆606Updated 3 years ago
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 3 years ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆394Updated 9 months ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆214Updated 5 years ago
• dancrossnyc / rxv64
  xv6 OS
  ☆238Updated 3 weeks ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆206Updated last week
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆414Updated 2 years ago
• ligurio / unreliablefs
  A FUSE-based fault injection filesystem.
  ☆178Updated last year
• andrewchambers / minias
  A mini x86-64 assembler for fun and learning.
  ☆213Updated 2 months ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆159Updated 3 years ago
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆570Updated 2 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆225Updated 3 years ago
• infoslack / awesome-unikernels
  A list about Unikernels
  ☆113Updated last year
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆133Updated this week
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆937Updated 2 months ago
• virtines / wasp
  Wasp: micro-hypervisor that enables lightweight, isolated virtines
  ☆18Updated 2 years ago
• unikraft / kraftkit
  Build and use highly customized and ultra-lightweight unikernel VMs.
  ☆298Updated this week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated 3 weeks ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆227Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆357Updated 5 years ago
• QuarkContainer / Quark
  A secure container runtime with CRI/OCI interface
  ☆339Updated 4 months ago
• u-root / cpu
  cpu command in Go, inspired by the Plan 9 cpu command
  ☆253Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• composefs / composefs
  The reliability of disk images, the flexibility of files
  ☆525Updated 2 weeks ago
• dicksites / KUtrace
  Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, an…
  ☆661Updated 8 months ago
• bolinfest / opensnoop-native
  opensnoop in pure C using eBPF
  ☆100Updated 3 weeks ago