unikraft / catalogLinks
Unikraft Applications & Examples Catalog
☆57Updated 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.☆308Updated this week
- wasix libc implementation for WebAssembly☆125Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated 10 months ago
- A dynamic library bundling the guest payload consumed by libkrun☆97Updated last week
- 📚 Unikraft Cloud Examples and Sample Projects☆32Updated last week
- WebAssembly System Interface☆65Updated last week
- Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.☆258Updated last week
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆166Updated last week
- ☆38Updated 5 months ago
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆40Updated this week
- An application template for Hermit for Rust.☆36Updated last month
- ☆7Updated 2 years ago
- An experimental modern general-purpose microkernel OS.☆337Updated last week
- ☆102Updated 2 weeks ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆117Updated this week
- The Xr0 Verifier for C☆179Updated 2 months ago
- A Wasm-first VFS☆60Updated 2 months ago
- Research unikernel for virtualized services☆50Updated 2 years ago
- A next-generation container filesystem☆428Updated 8 months ago
- Rust Bindings for CRIU☆16Updated 7 months ago
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆92Updated 3 weeks ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆204Updated 3 months ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- A benchmark for standalone WebAssembly☆32Updated 10 months ago
- Rust support for seL4 userspace☆160Updated this week
- Devtools to validate, audit and investigate WebAssembly binaries.☆127Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- Linux in Unikernel Clothing☆71Updated 3 years ago
- Virtual implementations of WASI APIs☆184Updated 3 weeks ago
- Antithesis SDK for Go☆33Updated 6 months ago