A binary-compatible unikernel
☆399Aug 13, 2024Updated last year
Alternatives and similar repositories for hermitux
Users that are interested in hermitux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆36Jan 12, 2023Updated 3 years ago
- HermitCore: A C-based, lightweight unikernel☆227Nov 5, 2021Updated 4 years ago
- Linux in Unikernel Clothing☆75Oct 12, 2021Updated 4 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- Hermit for Rust.☆1,948Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A kernel designed to run one and only one application in a virtualized environment☆3,170Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Jul 22, 2026Updated last week
- Unikernel Linux☆236Aug 13, 2025Updated 11 months ago
- A Rust-based, lightweight unikernel.☆1,478Updated this week
- OSv, a new operating system for the cloud.☆4,262Jul 20, 2026Updated last week
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,798Updated this week
- The Rumprun unikernel and toolchain for various platforms☆1,176May 11, 2020Updated 6 years ago
- A minimal, resource efficient unikernel for cloud services☆5,244May 15, 2026Updated 2 months ago
- ZFS, in Python, without reading the original C.☆569May 7, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- a small statically-linked linux system☆3,089Jun 9, 2026Updated last month
- ☆13Apr 9, 2022Updated 4 years ago
- Manticore is a research operating system, written in Rust.☆295Dec 1, 2023Updated 2 years ago
- ☆13Oct 17, 2021Updated 4 years ago
- State of the art for unikernels☆220Apr 30, 2024Updated 2 years ago
- ops - build and run nanos unikernels☆1,503Updated this week
- Unikernel and immutable infrastructures☆641Feb 16, 2022Updated 4 years ago
- The No-Order File System (NoFS)☆49Oct 23, 2012Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A distributed operating system☆1,446Jul 29, 2022Updated 4 years ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆926Apr 14, 2021Updated 5 years ago
- A specialized hypervisor for Hermit.☆293Updated this week
- Python library for configuring and building unikernels☆178Jan 18, 2023Updated 3 years ago
- minimal lisp that compiles to x86☆10Mar 19, 2017Updated 9 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- Tools to create filesystem images from an fspec filesystem specification.☆16Apr 21, 2024Updated 2 years ago
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆76Nov 2, 2020Updated 5 years ago
- Popcorn Linux kernel for distributed thread execution☆175Jul 16, 2023Updated 3 years ago
- 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.
- simple data streams for go☆32Aug 25, 2022Updated 3 years ago
- musl: A C standard library☆18Apr 20, 2026Updated 3 months ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- A portable hybrid distributed OS based on Inferno, LuaJIT and Libuv☆422Jan 4, 2021Updated 5 years ago
- A Go unikernel running on x86 bare metal☆2,322Jul 22, 2023Updated 3 years ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,599Jun 17, 2022Updated 4 years ago