Alternatives and similar repositories for wasp

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

• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆40Updated this week
• 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
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆72Updated 4 years ago
• project-dune / dune
  ☆207Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 4 years ago
• olivierpierre / unikernel-papers
  ☆124Updated 5 months ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆67Updated 4 years ago
• google / ghost-userspace
  ☆236Updated last year
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆52Updated 4 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
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆40Updated last year
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• TwinVisor / twinvisor-prototype
  ☆23Updated 3 years ago
• bpfverif / agni
  ☆45Updated 3 weeks ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• lazypoline / lazypoline
  The lazypoline syscall interposer
  ☆29Updated 6 months ago
• google / ghost-kernel
  ☆228Updated last year
• sslab-gatech / libmpk
  ☆51Updated 3 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆225Updated 2 months ago
• kvm-unit-tests / kvm-unit-tests
  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …
  ☆29Updated last month
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 5 years ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆22Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• i10-kernel / i10-implementation
  i10 kernel implementation (NSDI'20)
  ☆52Updated 5 years ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆39Updated 5 years ago
• soulxu / kvmsample
  minivm based on kvm
  ☆154Updated last year
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆431Updated this week