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
  ☆32Updated this week
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆35Updated last year
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆31Updated this week
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆13Updated last year
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 6 months ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆39Updated 3 weeks ago
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• Multi-V-VM / Anonymous-Repo
  Seemlessly Migrate Process without boundary.
  ☆25Updated 2 weeks ago
• microsoft / igvm
  ☆93Updated this week
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆50Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆27Updated this week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated last year
• mit-pdos / ward
  ☆31Updated 3 years ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆34Updated last week
• 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
• microsoft / net-offloads
  Specs for new networking hardware offloads.
  ☆30Updated last year
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆55Updated this week
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆35Updated 3 months ago
• intel / intel-sdsi
  ☆48Updated 2 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆23Updated this week
• google / rust-p9
  ☆37Updated 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.
  ☆22Updated last week
• rust-vmm / rust-vmm-ci
  ☆21Updated last month
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆26Updated 3 months ago
• bwickman97 / ffmalloc
  ☆49Updated 2 years ago
• enarx-archive / sev
  Library for AMD SEV
  ☆20Updated 2 years ago
• AkihiroSuda / myaot
  Succeeded by https://github.com/yomaytk/elfconv
  ☆34Updated last year
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 3 months ago