Alternatives and similar repositories for wasp

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

• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 4 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆42Updated last week
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• project-dune / dune
  ☆209Updated 3 years ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆23Updated 2 years ago
• olivierpierre / unikernel-papers
  ☆124Updated 5 months ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆20Updated 4 years ago
• google / ghost-userspace
  ☆236Updated last year
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 4 years ago
• bpfverif / agni
  ☆45Updated this week
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• google / ghost-kernel
  ☆227Updated last year
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆227Updated 3 months ago
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆432Updated last week
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 5 years ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆51Updated 4 years ago
• host-architecture / Fast-and-Safe-IO-Memory-Protection
  ☆13Updated last year
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 5 years ago
• seeker89 / unikernels
  State of the art for unikernels
  ☆221Updated last year
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 3 years ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆67Updated 4 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆64Updated 2 years ago
• TwinVisor / twinvisor-prototype
  ☆23Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆48Updated last year
• lazypoline / lazypoline
  The lazypoline syscall interposer
  ☆29Updated 6 months ago
• MSRSSP / core-slicing
  Getting Started with the Core Slicing Prototype
  ☆14Updated 2 years ago