unikraft / catalogLinks
Unikraft Applications & Examples Catalog
☆72Updated 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.☆360Updated last week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆204Updated this week
- A dynamic library bundling the guest payload consumed by libkrun☆111Updated 2 weeks ago
- A minimal HTTP implementation used by Firecracker☆89Updated last month
- A low-level virtualization interface for Linux-based systems using WebAssembly☆167Updated last week
- Linux in Unikernel Clothing☆71Updated 4 years ago
- Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.☆317Updated this week
- wasix libc implementation for WebAssembly☆141Updated last week
- 📚 Unikraft Cloud Examples and Sample Projects☆39Updated last week
- An experimental modern general-purpose microkernel OS.☆427Updated 2 months ago
- 'vhost-user' device backends workspace☆106Updated this week
- A Unikernel running WebAssembly code☆52Updated 2 years ago
- State of the art for unikernels☆221Updated last year
- a simple container runtime that aspires to become `runc` for unikernels☆145Updated this week
- ☆43Updated 11 months ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆44Updated this week
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆455Updated this week
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆283Updated 2 months ago
- Devtools to validate, audit and investigate WebAssembly binaries.☆132Updated last year
- Microkit - A simple operating system framework for the seL4 microkernel☆164Updated 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
- A list about Unikernels☆116Updated 2 years ago
- A specialized hypervisor for Hermit.☆277Updated this week
- Minimalistic hypervisor built on KVM, coded with Zig.☆147Updated last year
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆41Updated last year
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆158Updated last year
- An application template for Hermit for Rust.☆37Updated 3 weeks ago
- The Xr0 Verifier for C☆179Updated 8 months ago
- Bertie TLS 1.3 Implementation☆130Updated 2 months ago