unikraft / catalogLinks
Unikraft Applications & Examples Catalog
☆57Updated this week
Alternatives and similar repositories for catalog
Users that are interested in catalog are comparing it to the libraries listed below
Sorting:
- A secure, fast, and adaptable OS based on the seL4 microkernel☆137Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated 11 months ago
- Bertie TLS 1.3 Implementation☆119Updated last month
- Microkit - A simple operating system framework for the seL4 microkernel☆127Updated this week
- A low-level virtualization interface for Linux-based systems using WebAssembly☆120Updated 3 weeks ago
- An application template for Hermit for Rust.☆36Updated 2 weeks ago
- An experimental modern general-purpose microkernel OS.☆360Updated this week
- wasix libc implementation for WebAssembly☆125Updated this week
- Rust support for seL4 userspace☆161Updated last week
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆215Updated 10 months ago
- The Xr0 Verifier for C☆179Updated 2 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆117Updated last year
- State of the art for unikernels☆217Updated last year
- Sail code model of the CHERIoT ISA☆39Updated this week
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆150Updated 9 months ago
- 'vhost-user' device backends workspace☆96Updated last week
- A determinizing tracer using Ptrace☆38Updated 4 years ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆32Updated last year
- ☆39Updated 6 months ago
- 📚 Unikraft Cloud Examples and Sample Projects☆32Updated this week
- Minimalistic hypervisor built on KVM, coded with Zig.☆144Updated 11 months ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆68Updated this week
- Research unikernel for virtualized services☆51Updated 2 years ago
- A specialized hypervisor for Hermit.☆270Updated this week
- A benchmark for standalone WebAssembly☆33Updated 11 months ago
- An open-source Unix operating system☆32Updated this week
- A minimal HTTP implementation used by Firecracker☆82Updated 2 weeks ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆41Updated 4 months ago
- A next-generation container filesystem☆431Updated last week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆28Updated last week