The Rumprun unikernel and toolchain for various platforms
☆1,172May 11, 2020Updated 5 years ago
Alternatives and similar repositories for rumprun
Users that are interested in rumprun are comparing it to the libraries listed below
Sorting:
- Ready-made packages of software for running on the Rumprun unikernel☆205Nov 30, 2022Updated 3 years ago
- Wiki for rump kernels☆462Jul 15, 2023Updated 2 years ago
- The Unikernel & MicroVM Compilation and Deployment Platform☆2,804Apr 27, 2023Updated 2 years ago
- go on Rumprun☆309Apr 2, 2019Updated 6 years ago
- A sandboxed execution environment for unikernels☆971Feb 20, 2026Updated last week
- OSv, a new operating system for the cloud.☆4,234Dec 21, 2025Updated 2 months ago
- MirageOS is a library operating system that constructs unikernels☆2,848Updated this week
- A minimal, resource efficient unikernel for cloud services☆5,214Jan 8, 2026Updated last month
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,069Dec 6, 2018Updated 7 years ago
- A DNS server that automatically starts unikernels on demand☆303Jul 6, 2016Updated 9 years ago
- Control and diagnostic applications for rump kernels☆35Mar 13, 2017Updated 8 years ago
- The `docker run unikernel` demo DockerCon EU (Nov 2015)☆141Dec 1, 2015Updated 10 years ago
- Run Unikernels Locally and Natively on OSX and Linux☆66Jan 24, 2019Updated 7 years ago
- Erlang on Xen☆812Apr 17, 2022Updated 3 years ago
- HyperContainer Daemon☆2,071Nov 29, 2018Updated 7 years ago
- HermitCore: A C-based, lightweight unikernel☆227Nov 5, 2021Updated 4 years ago
- Hypervisor-based Runtime for OCI☆829Feb 8, 2021Updated 5 years ago
- Utilities for building rump kernels☆122May 5, 2018Updated 7 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Dec 8, 2015Updated 10 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,073Updated this week
- The seL4 microkernel☆5,323Feb 20, 2026Updated last week
- Experimental KVM-based VMM for containers, written in Go.☆1,674Jun 12, 2020Updated 5 years ago
- A kernel designed to run one and only one application in a virtualized environment☆3,069Feb 22, 2026Updated last week
- xhyve, a lightweight OS X virtualization solution☆6,453Jan 29, 2022Updated 4 years ago
- Go-style concurrency in C☆3,136Feb 9, 2021Updated 5 years ago
- Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan☆375Jul 16, 2025Updated 7 months ago
- A toolkit for building secure, portable and lean operating systems for containers☆8,583Jan 18, 2026Updated last month
- A distributed operating system☆1,459Jul 29, 2022Updated 3 years ago
- CLI tool for spawning and running containers according to the OCI specification☆13,076Feb 13, 2026Updated 2 weeks ago
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,487Updated this week
- Irmin is a distributed database that follows the same design principles as Git☆1,926Updated this week
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Mar 22, 2020Updated 5 years ago
- Provides a platform to experiment with using Docker to build, distribute and run unikernels.☆95Feb 12, 2018Updated 8 years ago
- Unikernel written in rust☆33Feb 25, 2016Updated 10 years ago
- C to Rust translator☆2,182Mar 10, 2019Updated 6 years ago
- Genode OS Framework☆1,212Updated this week
- A Rust-based, lightweight unikernel.☆1,406Updated this week
- The Click modular router: fast modular packet processing and analysis☆142Sep 28, 2022Updated 3 years ago
- The Click modular router: fast modular packet processing and analysis☆10Sep 13, 2017Updated 8 years ago