NOVA runtime environment (official branch)
☆35Jul 1, 2021Updated 4 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☆49Jan 6, 2014Updated 12 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Jun 30, 2021Updated 4 years ago
- NOVA Microhypervisor☆447Apr 30, 2026Updated last month
- tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.☆11Feb 9, 2021Updated 5 years ago
- Community site for microkernel projects.☆30Dec 30, 2025Updated 5 months 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.
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Jun 2, 2026Updated last week
- Cross-platform driver for the USB 3 xHCI Debug Capability☆20Oct 21, 2021Updated 4 years ago
- RISC-V Specific Device Tree Documentation☆42Jul 9, 2024Updated last year
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆20Sep 26, 2023Updated 2 years ago
- c++ disassembly library☆15May 22, 2017Updated 9 years ago
- Microkernel-based system for heterogeneous manycores☆117Sep 14, 2020Updated 5 years ago
- Collection of community-maintained components for Genode (migrated to codeberg.org)☆53May 20, 2026Updated 3 weeks ago
- Classes and command-line utilities for interacting with BibTeX style databases☆17Nov 12, 2023Updated 2 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.
- Virtual Machine built as a CAmkES component.☆25May 28, 2026Updated 2 weeks ago
- ☆22Mar 1, 2026Updated 3 months ago
- The Weston Wayland Compositor☆41Apr 14, 2014Updated 12 years ago
- Qubes component: core-vchan-xen☆15May 30, 2026Updated last week
- ☆31Jul 11, 2022Updated 3 years ago
- Basic tools for building seL4 projects☆53May 28, 2026Updated 2 weeks ago
- ☆42Oct 1, 2018Updated 7 years ago
- A small C like scripting language with a few small novel features.☆29Oct 6, 2016Updated 9 years ago
- TWRP Recovery device files for Xiaomi Note pro☆10Jul 19, 2015Updated 10 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.
- Compile time string XOR for visual studio 2010-2013☆10May 31, 2018Updated 8 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated 2 months ago
- ☆12Dec 11, 2021Updated 4 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- LaTeX code for generating perfboard/stripboard drawing paper☆11May 27, 2014Updated 12 years ago
- ☆22May 9, 2025Updated last year
- Building My Dream Computer☆10Dec 2, 2022Updated 3 years ago
- Defender arcade game code reverse engineered back into source.☆11Jan 8, 2022Updated 4 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Qubes component: gui-daemon☆29Apr 12, 2026Updated last month
- Raspberry Pi compatible Docker image with Docker Swarm - https://github.com/docker/swarm☆15Oct 29, 2017Updated 8 years ago
- PlayStation Console Emulators For All☆10Mar 13, 2017Updated 9 years ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- ☆13Sep 22, 2018Updated 7 years ago
- LLVM backend for OpenRISC 1000☆28Apr 6, 2018Updated 8 years ago
- Component Architecture test suite and example apps.☆35May 3, 2026Updated last month