NOVA runtime environment (official branch)
☆36Jul 1, 2021Updated 5 years ago
Alternatives and similar repositories for NRE
Users that are interested in NRE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NOVA userland☆50Jan 6, 2014Updated 12 years ago
- NOVA Microhypervisor☆12Jul 1, 2021Updated 5 years ago
- NOVA Microhypervisor☆464Updated this week
- NOVA Microhypervisor☆11Aug 25, 2026Updated 2 months ago
- Tool for streamlining the development of Genode applications (migrated to codeberg.org)☆31Feb 6, 2026Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Community site for microkernel projects.☆35Sep 13, 2026Updated last month
- A tool that automates booting of operating systems on target hardware or in qemu☆52Nov 10, 2025Updated 11 months ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated last year
- Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)☆1,249May 20, 2026Updated 5 months ago
- Basic tools for building seL4 projects☆57Oct 24, 2026Updated last week
- Microkernel-based system for heterogeneous manycores☆118Jul 30, 2026Updated 3 months ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- Raspberry Pi family support for Genode OS framework (migrated to codeberg.org)☆17Jan 29, 2026Updated 9 months ago
- Node wrapper around WireShark's tshark packet processor☆13Mar 20, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Realtime network traffic display in your web browser☆14Aug 24, 2010Updated 16 years ago
- The Virtual Machine Monitor for the Cyberus Hypervisor. Ask us for commercial support!☆28Oct 24, 2026Updated last week
- Project to build and test seL4 for many different platforms☆19Updated this week
- a module for a demostack configuration of bounday☆13Jan 17, 2024Updated 2 years ago
- Utilities for building rump kernels☆118May 5, 2018Updated 8 years ago
- ☆14Apr 8, 2021Updated 5 years ago
- Minimalistic color palette generator☆19Jan 26, 2019Updated 7 years ago
- L4Ka::Pistachio micro-kernel☆303Oct 14, 2019Updated 7 years ago
- A streaming interface for the node-amqp nodejs module☆14Oct 29, 2012Updated 14 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- A vendor-independent encrypted folder format optimized for synchronization☆15Oct 20, 2026Updated last week
- Email Message library for Rust☆24Nov 10, 2018Updated 7 years ago
- Home of the operational semantics team, used primarily for procedural items☆23Sep 14, 2026Updated last month
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Dec 2, 2015Updated 10 years ago
- A standard QEMU tree with KVM for ARM patches☆14Feb 29, 2024Updated 2 years ago
- sel4 benchmarking applications and support library.☆25Oct 24, 2026Updated last week
- Darwin Foundation (CoreFoundation & PureFoundation)☆18Jul 9, 2018Updated 8 years ago
- Raspberry Pi firmware with Debian packaging. Contributions welcome☆11Feb 12, 2015Updated 11 years ago
- 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.
- Allwinner SoC support for the Genode OS framework (migrated to codeberg.org)☆17May 20, 2026Updated 5 months ago
- Reads and parses Linux device tree images☆18Feb 10, 2024Updated 2 years ago
- Cross-platform driver for the USB 3 xHCI Debug Capability☆20Oct 21, 2021Updated 5 years ago
- rbxi is an rsync based backup utility. It is designed for small network admins, and requires somewhat complex setup. It runs on any unixl…☆13Sep 26, 2023Updated 3 years ago
- Xen Test Framework☆10Oct 30, 2025Updated last year
- NixOS Build and Deployment Tool with Configuration Sanity Checking Capabilities [maintainer=@tfc]☆14Sep 18, 2025Updated last year
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆21Sep 26, 2023Updated 3 years ago