Alternatives and similar repositories for monza

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

• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆41Updated last week
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆67Updated 4 years ago
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆36Updated last year
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• microsoft / igvm
  ☆109Updated last week
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆90Updated 2 months ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• CHERIoT-Platform / cheriot-rtos
  The RTOS components for the CHERIoT research platform
  ☆152Updated last week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆55Updated last week
• unikraft / catalog
  Unikraft Applications & Examples Catalog
  ☆67Updated last month
• AkihiroSuda / myaot
  Succeeded by https://github.com/yomaytk/elfconv
  ☆35Updated 2 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆61Updated last week
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆47Updated this week
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆39Updated last week
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• rust-vmm / rust-vmm-ci
  ☆26Updated last week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• microsoft / verona-rt
  The runtime for the Verona project
  ☆35Updated last month
• bpfverif / agni
  ☆43Updated last week
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → (WebAssembly, ...)
  ☆287Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆289Updated 2 weeks ago
• unikraft / lib-musl
  musl: A C standard library
  ☆13Updated last month
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆105Updated 3 weeks ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆21Updated last year
• enarx-archive / sev
  Library for AMD SEV
  ☆20Updated 3 years ago
• cloudkernels / vaccel
  A meta repo for gathering all the necessary components for running (and releasing) a vaccel environment
  ☆10Updated 2 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 3 years ago