unikraft / catalogLinks
Unikraft Applications & Examples Catalog
☆56Updated 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.☆300Updated this week
- 📚 Unikraft Cloud Examples and Sample Projects☆32Updated last week
- A dynamic library bundling the guest payload consumed by libkrun☆91Updated 2 months ago
- wasix libc implementation for WebAssembly☆124Updated this week
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆211Updated 8 months ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆155Updated this week
- Python library for configuring and building unikernels☆178Updated 2 years ago
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆142Updated 9 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated 9 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…☆148Updated 8 months ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆115Updated last month
- WebAssembly System Interface☆64Updated this week
- A graph-oriented intermediate representation, optimization framework, and machine code generator.☆30Updated 2 weeks ago
- Research unikernel for virtualized services☆49Updated 2 years ago
- An experimental modern general-purpose microkernel OS.☆322Updated last week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- An application template for Hermit for Rust.☆34Updated 2 weeks ago
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆39Updated last week
- A benchmark for standalone WebAssembly☆32Updated 9 months ago
- Loupe: Syscall Usage Analysis Tool☆35Updated this week
- The Xr0 Verifier for C☆179Updated last month
- Antithesis SDK for Go☆33Updated 5 months ago
- A Wasm-first VFS☆61Updated 2 months ago
- ☆38Updated 4 months ago
- State of the art for unikernels☆217Updated last year
- Bertie TLS 1.3 Implementation☆118Updated last week
- 'vhost-user' device backends workspace☆90Updated this week
- An open-source Unix operating system☆30Updated this week
- Programmatic sandboxing tool☆229Updated 2 weeks ago