unikraft / catalog
Unikraft Applications & Examples Catalog
☆51Updated 2 weeks ago
Alternatives and similar repositories for catalog:
Users that are interested in catalog are comparing it to the libraries listed below
- Build and use highly customized and ultra-lightweight unikernel VMs.☆288Updated this week
- 📚 Unikraft Cloud Examples and Sample Projects☆30Updated last week
- wasix libc implementation for WebAssembly☆121Updated last month
- WebAssembly System Interface☆63Updated last month
- An application template for Hermit for Rust.☆33Updated 2 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 8 months ago
- ☆38Updated 3 months ago
- The Hermit bootloader.☆74Updated this week
- Virtual implementations of WASI APIs☆174Updated 2 weeks ago
- An experimental modern general-purpose microkernel OS.☆97Updated this week
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆211Updated 7 months ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆141Updated 8 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆127Updated last week
- Curated list of unikernel resources☆47Updated 5 years ago
- the WebAssembly partial evaluator☆53Updated 4 months ago
- A Unikernel running WebAssembly code☆50Updated 2 years ago
- Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.☆218Updated this week
- A specialized hypervisor for Hermit.☆261Updated this week
- MnemOS Global Networking Protocol☆16Updated last year
- 😎 A curated list of WebAssembly runtimes☆58Updated 5 months ago
- A minimal HTTP implementation used by Firecracker☆78Updated 2 weeks ago
- ☆64Updated 6 months ago
- A benchmark for standalone WebAssembly☆31Updated 8 months ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆110Updated last week
- Topological sort library in Zig☆89Updated last week
- The Xr0 Verifier for C☆180Updated this week
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Command-Line Interface (CLI) World for WASI☆80Updated 2 weeks ago
- Implementation of DAP☆139Updated last week
- A proof-of-concept microkernel that runs WebAssembly natively.☆63Updated last year