Top 7 C Unikernel Projects

nanos

27 2,463 9.3 C

A kernel designed to run one and only one application in a virtualized environment

Project mention: Nanos – A Unikernel | news.ycombinator.com | 2024-03-13

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.

unikraft

26 2,273 9.8 C

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Project mention: KraftCloud | news.ycombinator.com | 2024-04-01

WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
llama2.c

17 1,378 9.5 C

Llama 2 Everywhere (L2E) (by trholding)

Project mention: What would an LLM OS look like? | news.ycombinator.com | 2024-03-14

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.

solo5

4 867 5.8 C

A sandboxed execution environment for unikernels

Project mention: Mirage – A programming framework for building type-safe, modular systems | news.ycombinator.com | 2023-11-23

What 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.

hermitux

3 390 3.1 C

A binary-compatible unikernel
unikraft

2 18 2.4 C

FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time. (by project-flexos)
app-llama2-c

1 10 9.5 C

Llama 2 Everywhere (L2E)

Project mention: LLAMA2 Running as a Unikraft Unikernel | news.ycombinator.com | 2023-10-02

InfluxDB

www.influxdata.com sponsored

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.

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). The latest post mention was on 2024-04-01.