SaaSHub helps you find the best software and product alternatives Learn more →
Top 23 Unikernel Open-Source Projects
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
unikraft
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
-
-
-
-
-
-
unikraft
FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time. (by project-flexos)
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
So sad IncludeOS https://github.com/includeos/IncludeOS is no longer developed.
Project mention: Show HN: Convert your Containerfile to a bootable OS | news.ycombinator.com | 2024-05-07Erlang on Xen was most definitely an inspiration behind what we're working on with https://nanos.org .
Interesting, and thanks.
I didn't know about those. I kind of thought you may have used MirageOS, which I had read about earlier. It is done in OCaml.
https://mirage.io/
Project mention: Mirage – A programming framework for building type-safe, modular systems | news.ycombinator.com | 2023-11-23The rough Rust of this is https://github.com/hermit-os/hermit-rs
Though last I looked it wasn't nearly as mature as MirageOS.
Nice article. We did a demo for booting to LLM and also as Kernel Module: https://github.com/trholding/llama2.c The whole things was funny and buggy, but since then we have been developing in stealth, even trying to raise VC capital. Our goal is to make computers like a buddy to whom you can talk to and explain things and get work done, kinda like a Jarvis. The way we interact with computers haven't changed for decades, its time to disrupt that to get more productivity. I also believe with this approach one can avoid installing different applications, when the computer (models) emulate activities done through applications. For example, cutting and pasting a dog from a dog photo onto a banner for a dog racing competition would not require you to be a graphics artist nor use tools like photshop / gimp. You could tell the computer and it would use segment anything to cut the dog, use Text and SD for banner text and bg paste the dog, seek your approval, search for the fastest, best and cheapest banner printing service and submit it. 10 years ago this could have been sci-fi, but now it is a possibility. Just need to connect the dots, package and polish it to make it a good product.
I am a bit confused, there are three sites:
* https://nanos.org/
* https://nanovms.com/
* https://ops.city/
And I am not sure what "thing" I am using. Is there some disambiguation? I know is OPS is the orchestration CLI, but I am confused at the difference between Nanos and NanoVMs. What should I call the section of my README that deals with this tech? Currently gone with Nanos/OPS but I am confused.
Project mention: Mirage – A programming framework for building type-safe, modular systems | news.ycombinator.com | 2023-11-23What you already can do is attaching gdb -- either live or at a core dump. Please see https://github.com/Solo5/solo5/blob/master/docs/debugging.md for detailed instructions ;)
What you as well can do is record-replay -- well, at least there used to be this option, I'm now lost whether it has never been merged anywhere, or it is stuck in some PR somewhere. This was truly great - since the external interface is so thin, it is easily doable to dump all external events (API calls and returns) onto disk and replay one-by-one, inspecting the state.
Project mention: A unikernel designed specifically for running WASM apps and compatible with WASI | news.ycombinator.com | 2023-12-29
Project mention: Bare Metal Emulation on the Raspberry Pi – Commodore 64 | news.ycombinator.com | 2023-11-15Ultibo is amazing for this kind of stuff:
https://ultibo.org/
Project mention: Bob – cross-platform peer-to-peer file-transfer tool in OCaml | news.ycombinator.com | 2024-03-25
Yeh - we have a small language list here:
https://github.com/nanovms/ops-examples
If you're looking for a particular piece of software search on the repo first:
https://repo.ops.city/
If you don't find it and need help creating one ping me or open an issue in ops.
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
Unikernel related posts
-
Let's Embed a Go Program into the Linux Kernel
-
KraftCloud
-
Nanos – A Unikernel
-
Gokrazy – Go Appliances
-
Using Zig to Unit Test a C Application
-
Kolibri OS: fits on a floppy disk, programmed using interrupts
-
Mirage – A programming framework for building type-safe, modular systems
-
A note from our sponsor - SaaSHub
www.saashub.com | 10 May 2024
Index
What are some of the best open-source Unikernel projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | IncludeOS | 4,825 |
| 2 | nanos | 2,483 |
| 3 | mirage | 2,435 |
| 4 | unikraft | 2,320 |
| 5 | eggos | 2,198 |
| 6 | hermit-rs | 1,591 |
| 7 | llama2.c | 1,385 |
| 8 | OPS | 1,206 |
| 9 | solo5 | 872 |
| 10 | mewz | 419 |
| 11 | hermitux | 390 |
| 12 | qubes-mirage-firewall | 202 |
| 13 | unikernels | 198 |
| 14 | kraftkit | 187 |
| 15 | Core | 152 |
| 16 | bob | 124 |
| 17 | awesome-unikernels | 105 |
| 18 | ops-examples | 97 |
| 19 | miragevpn | 70 |
| 20 | unikernels | 49 |
| 21 | Examples | 42 |
| 22 | unikraft | 18 |
| 23 | app-helloworld-go | 16 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com