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.
  ☆263Updated 4 years ago
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 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'…
  ☆121Updated 4 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 4 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆227Updated 4 months ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆398Updated last year
• matheusmoreira / liblinux
  Linux system calls.
  ☆217Updated 6 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆168Updated 2 years ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆620Updated 3 years ago
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆422Updated 2 years ago
• dancrossnyc / rxv64
  xv6 OS
  ☆246Updated 3 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 8 months ago
• infoslack / awesome-unikernels
  A list about Unikernels
  ☆116Updated 2 years ago
• sbu-fsl / kernel-ml
  Machine Learning Framework for Operating Systems - Brings ML to Linux kernel
  ☆252Updated 4 years ago
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆300Updated 4 years ago
• andrewchambers / minias
  A mini x86-64 assembler for fun and learning.
  ☆221Updated 9 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆204Updated this week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆44Updated this week
• multikernel / kernelscript
  KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization
  ☆283Updated 2 months ago
• robn / yoctochat
  The tiniest chat servers on earth!
  ☆77Updated 3 years ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆67Updated 4 years ago
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆581Updated 3 years ago
• bitonic / pipes-speed-test
  ☆205Updated 3 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆227Updated 4 years ago
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆111Updated 2 weeks ago
• nbaksalyar / metalens
  Stream-based visual programming language for systems observability
  ☆64Updated 3 years ago
• frabert / ClangQL
  Query C++ codebases using SQLite
  ☆188Updated 3 years ago
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆803Updated 2 weeks ago
• sandfs / sandfs.github.io
  Sandboxing File System
  ☆46Updated 6 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