Wiki for rump kernels
☆463Jul 15, 2023Updated 2 years ago
Alternatives and similar repositories for wiki
Users that are interested in wiki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Rumprun unikernel and toolchain for various platforms☆1,174May 11, 2020Updated 6 years ago
- Ready-made packages of software for running on the Rumprun unikernel☆205Nov 30, 2022Updated 3 years ago
- Automated Docker Hub builds of the rumprun toolchain.☆13Aug 5, 2016Updated 9 years ago
- Control and diagnostic applications for rump kernels☆36Mar 13, 2017Updated 9 years ago
- A DNS server that automatically starts unikernels on demand☆303Jul 6, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Utilities for building rump kernels☆119May 5, 2018Updated 8 years ago
- The `docker run unikernel` demo DockerCon EU (Nov 2015)☆142Dec 1, 2015Updated 10 years ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,066Dec 6, 2018Updated 7 years ago
- A sandboxed execution environment for unikernels☆973Apr 14, 2026Updated last month
- Provides a platform to experiment with using Docker to build, distribute and run unikernels.☆95Feb 12, 2018Updated 8 years ago
- OSv, a new operating system for the cloud.☆4,241Apr 9, 2026Updated last month
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆51Dec 8, 2015Updated 10 years ago
- The Click modular router: fast modular packet processing and analysis☆143Sep 28, 2022Updated 3 years ago
- A minimal, resource efficient unikernel for cloud services☆5,235May 12, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan☆376Jul 16, 2025Updated 10 months ago
- DPDK interface driver for userspace TCP/IP stack☆200Oct 19, 2015Updated 10 years ago
- Development moved to https://github.com/mhsys/mh☆14Feb 20, 2018Updated 8 years ago
- Erlang on Xen☆816Apr 17, 2022Updated 4 years ago
- A DNS server that automatically starts unikernels on demand☆22Nov 11, 2015Updated 10 years ago
- Moved to @rumpkernel/rumprun-packages☆14Jul 2, 2015Updated 10 years ago
- HyperContainer Daemon☆2,014Nov 29, 2018Updated 7 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 6 years ago
- Tool for uploading unikernels into EC2☆77Aug 27, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- File System Access Utilities in Userland☆79Feb 18, 2016Updated 10 years ago
- HermitCore: A C-based, lightweight unikernel☆227Nov 5, 2021Updated 4 years ago
- go on Rumprun☆310Apr 2, 2019Updated 7 years ago
- Variant of 4.4BSD Unix for microcontrollers☆328Jan 15, 2025Updated last year
- a library version of FreeBSD's TCP/IP stack plus extras☆773Feb 8, 2017Updated 9 years ago
- Experimental KVM-based VMM for containers, written in Go.☆1,675Jun 12, 2020Updated 5 years ago
- The UNIX v6 shell, written idiomatically in Rust.☆19Dec 6, 2015Updated 10 years ago
- Ported software for HelenOS.☆22Mar 13, 2026Updated 2 months ago
- These are the MirageOS slide decks, written as a self-hosting unikernel☆13Nov 3, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- App Container Specification and Tooling (archived, see https://github.com/rkt/rkt/issues/4024)☆1,254Jan 24, 2018Updated 8 years ago
- Tools for running rump unikernels in userspace☆57Dec 12, 2015Updated 10 years ago
- Shamir's secret-sharing method in the Galois Field GF(2**8), modified implementation of the original by Daniel Silverstone☆10Jun 11, 2020Updated 5 years ago
- Another RateLimit for throttled☆10Oct 22, 2015Updated 10 years ago
- An IPv4 router over netmap for FreeBSD☆102Feb 13, 2016Updated 10 years ago
- A better client network manager. https://skarnet.org/software/bcnm/☆19May 9, 2026Updated last week
- Containerized applications for demonstrating nabla containers☆35Mar 26, 2019Updated 7 years ago