microsoft / monzaLinks
Research unikernel for virtualized services
☆49Updated 2 years ago
Alternatives and similar repositories for monza
Users that are interested in monza are comparing it to the libraries listed below
Sorting:
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- Crates for Microsoft Hypervisor ioctls and bindings☆36Updated last week
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- ☆11Updated 4 years ago
- Loupe: Syscall Usage Analysis Tool☆35Updated this week
- ☆102Updated last week
- musl: A C standard library☆11Updated 2 weeks ago
- A term rewriting system for experimental programming language development.☆43Updated 2 weeks ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆38Updated 7 months ago
- Storage systems with verified correctness properties☆47Updated 3 weeks ago
- Experimental Linux Virtual Machine based on UML and noMMU☆64Updated 4 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- 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
- A Secure and Memory-Efficient Heap Allocator☆33Updated 11 months ago
- The runtime for the Verona project☆33Updated 3 weeks ago
- LLFree: Lock- and Log-free Allocator☆22Updated 3 months ago
- QEMU with support for CHERI☆58Updated last month
- ☆50Updated 2 years ago
- Specs for new networking hardware offloads.☆36Updated 3 months ago
- Run Unikraft ELF Loader app on Linux executables☆14Updated last year
- ☆30Updated 3 years ago
- Heterogeneous Containerization of Large Language Model Apps☆43Updated 2 months ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆27Updated 3 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated 2 years ago
- Pluggable in-process caching engine to build and scale high performance services☆18Updated 11 months ago
- Unikraft Applications & Examples Catalog☆56Updated last week
- XML representation of the x86 instruction set☆28Updated 2 weeks ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆89Updated 11 months ago
- ☆16Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆130Updated last year