Curated list of unikernel resources
☆53Mar 28, 2020Updated 6 years ago
Alternatives and similar repositories for awesome-unikernels
Users that are interested in awesome-unikernels are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Apr 25, 2021Updated 5 years ago
- 📚 Unikraft Cloud Examples and Sample Projects☆49Sep 2, 2026Updated 3 weeks ago
- Unikraft Google Summer of Code☆20Sep 6, 2026Updated 3 weeks ago
- DTS files☆47Jul 2, 2020Updated 6 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Oct 20, 2024Updated last year
- 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.
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- A reverse proxy for Urbit to utilize moons in support of a planet's or star's services.☆15Feb 24, 2023Updated 3 years ago
- ☆10May 31, 2022Updated 4 years ago
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆21Mar 31, 2023Updated 3 years ago
- App launcher and home screen for your node☆15Jul 27, 2026Updated 2 months ago
- State of the art for unikernels☆220Apr 30, 2024Updated 2 years ago
- A JS library for interfacing with Urbit over HTTP☆15May 3, 2026Updated 4 months ago
- Security Summer School, Web Track☆30Jul 16, 2026Updated 2 months ago
- Easily share folders between VMs.☆34Sep 11, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Async Library for chatango written in Python3.8☆12Sep 16, 2025Updated last year
- V programming language bindings for radare2☆14Dec 13, 2023Updated 2 years ago
- 💻 Unikraft CLI☆29Updated this week
- Albatross: orchestrate and manage MirageOS unikernels with Solo5☆167Updated this week
- Simple hash algorithms in OCaml☆95Updated this week
- this skeleton commits and installs☆12Mar 19, 2023Updated 3 years ago
- Modern OS Development wiki.☆68Jul 9, 2023Updated 3 years ago
- Example apps and other code used in urbit.org documentation☆17Dec 23, 2025Updated 9 months ago
- ☆15Jul 24, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Unikernel and immutable infrastructures☆644Feb 16, 2022Updated 4 years ago
- Security Summer School, Binary track☆32Mar 20, 2026Updated 6 months ago
- Chatbot tool for urbit groups☆17Jan 5, 2024Updated 2 years ago
- ☆16Apr 30, 2024Updated 2 years ago
- ☆11Sep 20, 2026Updated last week
- Files to set up VPS to host websites & Urbit planets☆15Sep 27, 2023Updated 3 years ago
- An HTTP server that renders Markdown documents loaded from a downstream HTTP server. It can be used with Nginx as a rendering filter.☆12Nov 2, 2013Updated 12 years ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆60Updated this week
- Unikraft Applications & Examples Catalog☆101Aug 3, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- kraft-ready repo for building Go applications with Unikraft☆17Oct 23, 2023Updated 2 years ago
- Ssh-agent unikernel for QubesOS☆25Dec 12, 2022Updated 3 years ago
- Main Repo for the OpenHW Group Software Task Group☆17Mar 11, 2025Updated last year
- Terminal OpenAPI documentation viewer 🐐☆19Jun 26, 2022Updated 4 years ago
- Wraps the Urbit ship http api exposing it as an easy-to-use Rust crate.☆24Oct 24, 2021Updated 4 years ago
- An index page to all of the homework from the university on this account.☆11Oct 21, 2023Updated 2 years ago
- Word embedding based on Phonetic features of the language (similar sounding vectors)☆20May 23, 2024Updated 2 years ago