unikraft / catalogLinks
Unikraft Applications & Examples Catalog
☆68Updated last month
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.☆347Updated this week
- a simple container runtime that aspires to become `runc` for unikernels☆121Updated last week
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆273Updated 3 weeks ago
- wasix libc implementation for WebAssembly☆133Updated last week
- A dynamic library bundling the guest payload consumed by libkrun☆105Updated last month
- A minimal HTTP implementation used by Firecracker☆88Updated 3 weeks ago
- An experimental modern general-purpose microkernel OS.☆405Updated 2 weeks ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.☆292Updated last week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆150Updated this week
- Linux in Unikernel Clothing☆72Updated 4 years ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆154Updated last week
- An open-source Unix operating system☆39Updated this week
- The Xr0 Verifier for C☆179Updated 6 months ago
- State of the art for unikernels☆221Updated last year
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- 📚 Unikraft Cloud Examples and Sample Projects☆37Updated 2 weeks ago
- 'vhost-user' device backends workspace☆102Updated this week
- A next-generation container filesystem☆433Updated 3 months ago
- Bertie TLS 1.3 Implementation☆125Updated 3 weeks ago
- A specialized hypervisor for Hermit.☆276Updated last week
- An application template for Hermit for Rust.☆36Updated 2 months ago
- ☆43Updated 9 months ago
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆44Updated 2 weeks ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆146Updated last year
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- Antithesis SDK for Go☆39Updated last month
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 4 years ago
- A list about Unikernels☆115Updated 2 years ago
- Devtools to validate, audit and investigate WebAssembly binaries.☆131Updated last year