NOVA Microhypervisor
☆12Jul 1, 2021Updated 5 years ago
Alternatives and similar repositories for NOVA
Users that are interested in NOVA 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 runtime environment (official branch)☆36Jul 1, 2021Updated 5 years ago
- NOVA userland☆50Jan 6, 2014Updated 12 years ago
- L4Ka::Afterburner virtualization project☆19Oct 13, 2011Updated 15 years ago
- L4Ka::Hazelnut micro-kernel☆39Sep 1, 2015Updated 11 years ago
- L4Ka::IDL4 Compiler☆22Sep 1, 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.
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆27Updated this week
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 14 years ago
- Home of the operational semantics team, used primarily for procedural items☆23Sep 14, 2026Updated last month
- NOVA Microhypervisor☆465Oct 29, 2026Updated last week
- An Apple Music client written in Vue☆10Jul 25, 2018Updated 8 years ago
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆12Updated this week
- 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
- A universal package manager wrapper for unix based systems☆12Feb 10, 2019Updated 7 years ago
- Xen Test Framework☆10Oct 30, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆24Mar 18, 2015Updated 11 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- A chatroom application run on Google App Engine☆23Sep 28, 2011Updated 15 years ago
- Audio to Midi Onset Trigger LV2 Plugin☆11May 11, 2023Updated 3 years ago
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 9 years ago
- Front-end for Spin to generate swarm verification scripts☆13Mar 10, 2019Updated 7 years ago
- Raspberry Pi firmware with Debian packaging. Contributions welcome☆11Feb 12, 2015Updated 11 years ago
- Find out everything there is to know about your hardware.☆15Oct 17, 2026Updated 2 weeks ago
- The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…☆16Apr 27, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Oct 26, 2026Updated last week
- NOVA Microhypervisor☆11Updated this week
- x86-64 kernel☆11Jul 10, 2022Updated 4 years ago
- LLFree: Lock- and Log-free Allocator☆12Sep 17, 2026Updated last month
- Customer, Address and Order Custom Attribute Fields☆12Aug 30, 2018Updated 8 years ago
- ☆14Oct 27, 2018Updated 8 years ago
- Aimbot for CS:GO.☆10Jul 31, 2018Updated 8 years ago
- Repository for the new, shadow-model based evolution of KernelF☆10Oct 2, 2019Updated 7 years ago
- Apex memmove of T. Herselman☆14Sep 22, 2016Updated 10 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.
- 🍒 Rust - Experimental port of Rust to CHERI architectures☆18Updated this week
- A tiny PHP router based on Macaw.☆18Oct 22, 2015Updated 11 years ago
- patch file to add Tascam US16x08 mixer support to kernel driver snd-usb-audio☆16Jul 6, 2021Updated 5 years ago
- Scripts to convert encrypted to cleartext email files. Preferably when using the notmuch email indexing software.☆12Oct 6, 2015Updated 11 years ago
- System support for long-running programs on RFID-scale devices☆13Oct 2, 2014Updated 12 years ago
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 7 months ago
- OpenPOWER Host OS builds repository☆13Aug 6, 2018Updated 8 years ago