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 / Trieste
  A term rewriting system for experimental programming language development.
  ☆39Updated last month
• microsoft / igvm
  ☆93Updated 2 weeks ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆45Updated last year
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆57Updated this week
• microsoft / net-offloads
  Specs for new networking hardware offloads.
  ☆32Updated last week
• Multi-V-VM / Anonymous-Repo
  Seemlessly Migrate Process without boundary.
  ☆25Updated last month
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆31Updated 2 months ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆34Updated last month
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆23Updated last week
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆57Updated this week
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 7 months ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆34Updated this week
• google / rust-p9
  ☆38Updated last month
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆20Updated this week
• tudinfse / SpecFuzz
  A tool to enable fuzzing for Spectre vulnerabilities
  ☆30Updated 4 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆50Updated this week
• intel / intel-sdsi
  ☆48Updated 3 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• mit-pdos / ward
  ☆31Updated 3 years ago
• ossf / Memory-Safety
  ☆21Updated last week
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆35Updated 3 months ago
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆77Updated last year
• 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…
  ☆88Updated 3 months ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆105Updated 2 years ago
• bwickman97 / ffmalloc
  ☆49Updated 2 years ago
• Alan-Jowett / bpf_conformance
  Measures the conformance of a BPF runtime to the ISA.
  ☆31Updated this week