unikraft / catalogLinks
Unikraft Applications & Examples Catalog
☆60Updated 3 weeks ago
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.☆323Updated this week
- Python library for configuring and building unikernels☆178Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆139Updated this week
- Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.☆276Updated this week
- A minimal HTTP implementation used by Firecracker☆85Updated last week
- A low-level virtualization interface for Linux-based systems using WebAssembly☆124Updated 3 weeks ago
- An experimental modern general-purpose microkernel OS.☆373Updated last week
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆177Updated this week
- An open-source Unix operating system☆33Updated this week
- A dynamic library bundling the guest payload consumed by libkrun☆99Updated last week
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-Centric kernel customization☆199Updated this week
- wasix libc implementation for WebAssembly☆127Updated this week
- An application template for Hermit for Rust.☆36Updated last week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated last year
- A next-generation container filesystem☆432Updated last month
- The Xr0 Verifier for C☆178Updated 3 months ago
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆151Updated 10 months ago
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆43Updated this week
- 'vhost-user' device backends workspace☆97Updated this week
- A specialized hypervisor for Hermit.☆271Updated this week
- Rust support for seL4 userspace☆162Updated last month
- Linux in Unikernel Clothing☆71Updated 3 years ago
- State of the art for unikernels☆217Updated last year
- A list about Unikernels☆115Updated last year
- Bertie TLS 1.3 Implementation☆124Updated 2 months ago
- userspace nvme driver☆102Updated last month
- virtio implementation☆411Updated this week
- ☆39Updated 6 months ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆145Updated 11 months ago
- Devtools to validate, audit and investigate WebAssembly binaries.☆128Updated last year