microhypervisor

Star

Here are 6 public repositories matching this topic...

udosteinberg / NOVA

Star

NOVA Microhypervisor

security performance kernel cplusplus x86-64 virtualization hypervisor aarch64 microkernel microhypervisor

Updated Aug 28, 2026
C++

ruvnet / rvm

Star

RVM — The Virtual Machine Built for the Agentic Age, in Rust.

rust hypervisor rvm coherence bare-metal no-std witness edge-computing capability microhypervisor

Updated Aug 28, 2026
Rust

bedrocksystems / NOVA

Star

NOVA Microhypervisor

security performance kernel cplusplus x86-64 virtualization hypervisor aarch64 microkernel microhypervisor

Updated Aug 28, 2026
C++

endoscopyminoraxis855 / nova

Star

Learn a personal AI assistant that remembers corrections, fine-tunes from mistakes, and runs on your hardware for private local use

security spotify laravel performance kernel lua service graphics adventure-game ss13 avg visual-novel okhttp3 javascript-engine aarch64 hacktoberfest galgame laravel-nova-field microhypervisor

Updated Aug 28, 2026
Python

Mo911-W16 / NovaBar

Star

🌟 Boost your Linux experience with NovaBar, a modern macOS-style panel supporting X11 and Wayland for seamless system integration and customization.

swift spotify lua objective-c service data-oriented-design panel virtualization nova globalmenu customisation javascript-engine desktop-environment xfce4 visual-novel-engine microhypervisor top-panel macos-style

Updated Aug 28, 2026
Vala

api-evangelist / bedrock-systems

Star

Bedrock Systems — independent third-party profile of a public API surface, by API Evangelist. BedRock Systems (now operating as BlueRock 安全, Inc) is a United States based cybersecurity company building formally verified systems software for critical infrastructure. Its work centers on the NOVA microhypervisor and virtual machine introspection

open-source security company virtualization hypervisor cybersecurity formal-verification apis-json microhypervisor

Updated Aug 28, 2026

Improve this page

Add a description, image, and links to the microhypervisor topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the microhypervisor topic, visit your repo's landing page and select "manage topics."

Learn more