unikraft / catalogLinks
Unikraft Applications & Examples Catalog
☆66Updated 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.☆342Updated this week
- A low-level virtualization interface for Linux-based systems using WebAssembly☆151Updated this week
- wasix libc implementation for WebAssembly☆131Updated this week
- A dynamic library bundling the guest payload consumed by libkrun☆103Updated last week
- Research unikernel for virtualized services☆51Updated 2 years ago
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆271Updated this week
- An experimental modern general-purpose microkernel OS.☆398Updated 3 weeks ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆146Updated last week
- 📚 Unikraft Cloud Examples and Sample Projects☆36Updated last week
- Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.☆285Updated last week
- Linux in Unikernel Clothing☆72Updated 3 years ago
- ☆40Updated 8 months ago
- 'vhost-user' device backends workspace☆102Updated this week
- Devtools to validate, audit and investigate WebAssembly binaries.☆131Updated last year
- Python library for configuring and building unikernels☆178Updated 2 years ago
- QEMU on browser☆208Updated last week
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆219Updated last year
- The Xr0 Verifier for C☆178Updated 5 months ago
- A minimal HTTP implementation used by Firecracker☆88Updated last week
- State of the art for unikernels☆220Updated last year
- WebAssembly System Interface☆71Updated 2 months ago
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆43Updated last month
- An open-source Unix operating system☆35Updated this week
- Bertie TLS 1.3 Implementation☆125Updated this week
- Minimalistic hypervisor built on KVM, coded with Zig.☆145Updated last year
- A Storage Primitive Designed for Live Migration☆32Updated last week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated 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…☆155Updated last year
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆190Updated this week