Alternatives and similar repositories for monza

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

• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆36Updated last year
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆39Updated 2 weeks ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆65Updated 4 years ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• microsoft / verona-rt
  The runtime for the Verona project
  ☆33Updated last week
• microsoft / igvm
  ☆103Updated last month
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆45Updated last month
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 8 months ago
• rust-vmm / vm-allocator
  Provides allocations and release strategies for resources used during the lifetime of a VM.
  ☆30Updated last week
• bwickman97 / ffmalloc
  ☆50Updated 3 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆89Updated last year
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆49Updated this week
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆26Updated last week
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆36Updated last month
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆156Updated 2 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆58Updated 2 weeks ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆80Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆40Updated this week
• unikraft / lib-musl
  musl: A C standard library
  ☆12Updated last month
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 9 months ago
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆46Updated last year
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated 2 weeks ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆22Updated this week
• yomaytk / elfconv
  AOT binary translator from Linux/ELF to WebAssembly
  ☆257Updated 3 weeks ago
• rui314 / psabi
  ☆58Updated 2 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆44Updated 3 weeks ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated last week
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆33Updated 11 months ago