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
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆44Updated this week
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆41Updated last month
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆36Updated this week
• microsoft / igvm
  ☆99Updated last week
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆14Updated last year
• microsoft / verona-rt
  The runtime for the Verona project
  ☆33Updated this week
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆25Updated this week
• google / mpact-sim
  ☆27Updated this week
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated this week
• unikraft / lib-musl
  musl: A C standard library
  ☆10Updated last month
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆35Updated this week
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆41Updated 2 weeks ago
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆31Updated this week
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 5 months ago
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• llvm / vscode-mlir
  ☆58Updated 10 months ago
• bwickman97 / ffmalloc
  ☆50Updated 2 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 9 months ago
• ossf / Memory-Safety
  ☆26Updated last week
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 6 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 3 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…
  ☆91Updated 3 weeks ago
• Alan-Jowett / bpf_conformance
  Measures the conformance of a BPF runtime to the ISA.
  ☆34Updated this week
• rui314 / psabi
  ☆58Updated 2 years ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆55Updated last year
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆58Updated this week