unikraft / catalogLinks
Unikraft Applications & Examples Catalog
☆70Updated last week
Alternatives and similar repositories for catalog
Users that are interested in catalog are comparing it to the libraries listed below
Sorting:
- Build and use highly customized and ultra-lightweight unikernel VMs.☆358Updated this week
- A dynamic library bundling the guest payload consumed by libkrun☆107Updated this week
- Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.☆309Updated last week
- wasix libc implementation for WebAssembly☆139Updated last week
- ☆43Updated 11 months ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆194Updated this week
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆40Updated last year
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆280Updated 2 months ago
- An experimental modern general-purpose microkernel OS.☆423Updated last month
- a simple container runtime that aspires to become `runc` for unikernels☆138Updated last week
- A low-level virtualization interface for Linux-based systems using WebAssembly☆164Updated last month
- A secure, fast, and adaptable OS based on the seL4 microkernel☆195Updated this week
- 'vhost-user' device backends workspace☆105Updated this week
- A minimal HTTP implementation used by Firecracker☆89Updated last week
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆46Updated this week
- Bertie TLS 1.3 Implementation☆130Updated 2 months ago
- A Unikernel running WebAssembly code☆52Updated 2 years ago
- An application template for Hermit for Rust.☆37Updated last week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- Minimalistic hypervisor built on KVM, coded with Zig.☆147Updated last year
- An open-source Unix operating system☆41Updated this week
- The Xr0 Verifier for C☆180Updated 7 months ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Load and execute Linux ELF binaries☆48Updated this week
- A Storage Primitive Designed for Live Migration☆35Updated 2 months ago
- WebAssembly System Interface☆76Updated 2 weeks ago
- Rust support for seL4 userspace☆177Updated 2 weeks ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆223Updated last year
- ☆144Updated last year
- A next-generation container filesystem☆437Updated 5 months ago