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)
  ☆39Updated 2 years ago
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆43Updated this week
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆67Updated 5 years ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆95Updated last week
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆51Updated 2 years ago
• microsoft / igvm
  ☆141Updated 3 weeks ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆38Updated 3 months ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆59Updated 2 months ago
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆78Updated last week
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆34Updated last year
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆48Updated this week
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → WebAssembly
  ☆345Updated last week
• unikraft / lib-musl
  musl: A C standard library
  ☆15Updated 2 weeks ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆40Updated this week
• AkihiroSuda / myaot
  Succeeded by https://github.com/yomaytk/elfconv
  ☆35Updated 2 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• microsoft / litebox
  A security-focused library OS supporting kernel- and user-mode execution
  ☆715Updated this week
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆18Updated 7 years ago
• rcslab / aurora
  Aurora Single Level Store
  ☆32Updated last year
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆48Updated 2 weeks ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆45Updated last week
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆64Updated 3 weeks ago
• microsoft / Armada
  Armada is a tool for writing, and proving correct, high-performance concurrent programs.
  ☆148Updated 11 months ago
• google / mpact-sim
  ☆41Updated 3 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆303Updated this week
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• intel / CacheLib
  Pluggable in-process caching engine to build and scale high performance services
  ☆18Updated last week