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)
  ☆35Updated last year
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆33Updated last week
• microsoft / verona-rt
  The runtime for the Verona project
  ☆31Updated 4 months ago
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆37Updated this week
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆40Updated last week
• microsoft / igvm
  ☆94Updated last week
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 5 years ago
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆32Updated this week
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 2 years ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆63Updated this week
• westerndigitalcorporation / zonedstorage.io
  zonedstorage.io website
  ☆23Updated 3 months ago
• DBOS-project / dbos-scheduler
  ☆27Updated 3 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆36Updated 5 months ago
• rust-vmm / rust-vmm-ci
  ☆22Updated 2 weeks ago
• google / rust-p9
  ☆38Updated 2 months ago
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆56Updated this week
• intel / wult
  Wult stands for "Wake Up Latency Tracer", and this is a project that provides tools for measuring C-state latency in Linux.
  ☆24Updated this week
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆78Updated last year
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆24Updated this week
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 9 months ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆23Updated last week
• microsoft / net-offloads
  Specs for new networking hardware offloads.
  ☆34Updated last month
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 6 months ago
• enarx-archive / sev
  Library for AMD SEV
  ☆20Updated 2 years ago
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆128Updated last year
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆46Updated last year
• intel / intel-sdsi
  ☆48Updated 4 months ago