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
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆41Updated last month
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆67Updated 4 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆37Updated 2 months ago
• rust-vmm / rust-vmm-ci
  ☆27Updated last month
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆18Updated 3 years ago
• unikraft / lib-musl
  musl: A C standard library
  ☆15Updated 3 months ago
• CHERIoT-Platform / cheriot-rtos
  The RTOS components for the CHERIoT research platform
  ☆156Updated 2 weeks ago
• microsoft / igvm
  ☆118Updated last week
• mit-pdos / ward
  ☆30Updated 4 years ago
• PLSysSec / rlbox_wasm2c_sandbox
  ☆19Updated 3 months ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆40Updated last week
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆93Updated last month
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆63Updated 3 weeks ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆299Updated 2 weeks ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆48Updated 3 weeks ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆60Updated 2 weeks ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆34Updated last year
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆83Updated 2 years ago
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆48Updated 3 weeks ago
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆47Updated 2 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• dslab-epfl / tpot
  Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
  ☆24Updated 7 months ago
• 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…
  ☆101Updated 3 weeks ago
• unikraft / catalog
  Unikraft Applications & Examples Catalog
  ☆72Updated 2 weeks ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆22Updated 2 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
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆63Updated 2 weeks ago