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
  ☆40Updated last week
• 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
• rust-vmm / vm-allocator
  Provides allocations and release strategies for resources used during the lifetime of a VM.
  ☆30Updated 2 weeks ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆66Updated 4 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆34Updated last month
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆46Updated last year
• microsoft / igvm
  ☆103Updated last month
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆54Updated last week
• rust-vmm / vmm-sys-util
  Helpers and utilities used by multiple rust-vmm components and VMMs
  ☆80Updated last week
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆45Updated last week
• unikraft / lib-musl
  musl: A C standard library
  ☆12Updated 2 weeks ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year
• AkihiroSuda / myaot
  Succeeded by https://github.com/yomaytk/elfconv
  ☆34Updated last year
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆59Updated last month
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆94Updated this week
• CHERIoT-Platform / cheriot-rtos
  The RTOS components for the CHERIoT research platform
  ☆145Updated last week
• mit-pdos / ward
  ☆30Updated 3 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated 2 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 weeks ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆44Updated last week
• rust-vmm / rust-vmm-ci
  ☆24Updated 3 weeks ago
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆85Updated this week
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆98Updated last month
• bpfverif / agni
  ☆36Updated last week
• rust-vmm / vm-superio
  Emulation for legacy devices
  ☆30Updated last month