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.
  ☆263Updated 4 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'…
  ☆120Updated 4 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 4 years ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆399Updated last year
• matheusmoreira / liblinux
  Linux system calls.
  ☆216Updated 6 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆227Updated 4 months ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆616Updated 3 years ago
• dancrossnyc / rxv64
  xv6 OS
  ☆246Updated 2 months ago
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆422Updated 2 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆167Updated 2 years ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated 7 months ago
• andrewchambers / minias
  A mini x86-64 assembler for fun and learning.
  ☆221Updated 8 months ago
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆300Updated 4 years ago
• multikernel / kernelscript
  KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization
  ☆280Updated 2 months ago
• AgentD / hausboot
  Tiny C++ boot loader
  ☆82Updated 2 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆195Updated last week
• infoslack / awesome-unikernels
  A list about Unikernels
  ☆116Updated 2 years ago
• pwk4m1 / TinyBIOS
  A mirror of TinyBIOS repository
  ☆313Updated last month
• gwsystems / composite
  A component-based OS
  ☆196Updated 10 months ago
• virtines / wasp
  Wasp: micro-hypervisor that enables lightweight, isolated virtines
  ☆19Updated 2 years ago
• unikraft / kraftkit
  Build and use highly customized and ultra-lightweight unikernel VMs.
  ☆358Updated this week
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆217Updated 3 years ago
• ashtonsix / perf-portfolio
  HPC research and demonstrations
  ☆109Updated last month
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆236Updated last year
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆67Updated 4 years ago
• ronomon / pure
  A static analysis file format checker.
  ☆267Updated 5 years ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆229Updated last year
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• unikraft / catalog
  Unikraft Applications & Examples Catalog
  ☆70Updated last week