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)
  ☆36Updated last year
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆46Updated this week
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆36Updated this week
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆46Updated last year
• microsoft / igvm
  ☆101Updated 2 weeks ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆33Updated last week
• rust-vmm / rust-vmm-ci
  ☆23Updated last month
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆25Updated last week
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆16Updated last month
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆41Updated last week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆64Updated 4 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆33Updated this week
• mit-pdos / ward
  ☆30Updated 3 years ago
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆58Updated this week
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 6 months ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated 2 weeks ago
• microsoft / net-offloads
  Specs for new networking hardware offloads.
  ☆37Updated 3 months ago
• gfx / hello-bpf-core
  An example app for BPF CO-RE and CI settings with GitHub Actions
  ☆14Updated 2 years ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆32Updated 10 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 last month
• ossf / Memory-Safety
  ☆26Updated this week
• bwickman97 / ffmalloc
  ☆50Updated 2 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆21Updated 2 months ago
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆129Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆41Updated last month
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆24Updated 2 weeks ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆52Updated this week