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…
  ☆25Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆30Updated this week
• PLSysSec / swivel
  ☆16Updated last year
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆35Updated 8 months ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆48Updated 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.
  ☆22Updated last year
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆70Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• IPADS-DuVisor / DuVisor
  ☆70Updated 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…
  ☆61Updated last year
• yasukata / ELISA
  ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines
  ☆19Updated last year
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆64Updated 4 years ago
• bwickman97 / ffmalloc
  ☆49Updated 2 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• olivierpierre / unikernel-papers
  ☆113Updated 2 weeks ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆122Updated 2 years ago
• stanford-mast / shinjuku
  ☆45Updated last year
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 4 years ago
• intel / uintr-ipc-bench
  ☆35Updated 7 months ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆57Updated this week
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• bitcharmer / tlb_shootdowns
  ☆46Updated 4 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 3 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• SamAinsworth / MarkUs-sp2020
  Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…
  ☆14Updated 3 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 3 years ago