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
• hedayati / hodor
  Hodor-PKU
  ☆25Updated 4 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆39Updated this week
• project-dune / dune
  ☆207Updated 3 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 4 years ago
• olivierpierre / unikernel-papers
  ☆122Updated 3 months ago
• google / ghost-userspace
  ☆235Updated last year
• PLSysSec / swivel
  ☆17Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆38Updated last year
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆39Updated last year
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆72Updated 3 years ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆52Updated 3 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• bpfverif / agni
  ☆39Updated last week
• 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
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 5 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• google / ghost-kernel
  ☆227Updated last year
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆428Updated this week
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆25Updated 2 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆208Updated last month
• 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 …
  ☆28Updated last week
• host-architecture / Fast-and-Safe-IO-Memory-Protection
  ☆13Updated 10 months ago
• LinuxPerfStudy / LEBench
  ☆63Updated last year
• 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…
  ☆62Updated 2 years ago
• lazypoline / lazypoline
  The lazypoline syscall interposer
  ☆28Updated 4 months 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
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆66Updated 4 years ago