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 userland☆50Jan 6, 2014Updated 12 years ago
- NOVA runtime environment (official branch)☆36Jul 1, 2021Updated 5 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆26Updated this week
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 14 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A tiny PHP router based on Macaw.☆18Oct 22, 2015Updated 10 years ago
- A universal package manager wrapper for unix based systems☆12Feb 10, 2019Updated 7 years ago
- 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
- 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
- System support for long-running programs on RFID-scale devices☆13Oct 2, 2014Updated 12 years ago
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 9 years ago
- patch file to add Tascam US16x08 mixer support to kernel driver snd-usb-audio☆16Jul 6, 2021Updated 5 years ago
- A minimal config to cloud-host an instance of pypiserver☆13Sep 10, 2012Updated 14 years ago
- Audio to Midi Onset Trigger LV2 Plugin☆11May 11, 2023Updated 3 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.
- Qubes component: core-qubesdb☆12Oct 7, 2026Updated last week
- NOVA Microhypervisor☆462Aug 28, 2026Updated last month
- Customer, Address and Order Custom Attribute Fields☆12Aug 30, 2018Updated 8 years ago
- Pijul <-> Git proxy☆22May 31, 2019Updated 7 years ago
- Optimization driven hydroponic nutrient calculator and domain-specific language.☆12Oct 17, 2021Updated 5 years ago
- OpenPOWER Host OS builds repository☆13Aug 6, 2018Updated 8 years ago
- Scripts to convert encrypted to cleartext email files. Preferably when using the notmuch email indexing software.☆12Oct 6, 2015Updated 11 years ago
- A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.☆14Dec 29, 2023Updated 2 years ago
- Qubes component: core-vchan-xen☆15Oct 7, 2026Updated last week
- 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.
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 7 months ago
- Jinja2 pluralize filters.☆10Dec 26, 2022Updated 3 years ago
- Aimbot for CS:GO.☆10Jul 31, 2018Updated 8 years ago
- Code repository for R Machine Learning Techniques, published by Packt☆11Jan 14, 2021Updated 5 years ago
- Swift-style blocks for JS☆13Jan 27, 2018Updated 8 years ago
- ☆13Nov 27, 2024Updated last year
- Data structures for ASTs☆14Dec 6, 2022Updated 3 years ago
- ☆12Dec 11, 2021Updated 4 years ago
- Minimalistic color palette generator☆19Jan 26, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A WordPress theme powered by the WordPress REST API and Vue.js☆18Apr 13, 2018Updated 8 years ago
- The extempore mode for the Emacs text editor.☆15Jul 4, 2022Updated 4 years ago
- ODM for Google AppEngine Datastore. Can use Datastore directly on GAE.☆15Dec 29, 2015Updated 10 years ago
- ☆12Sep 14, 2025Updated last year
- Collection of community-maintained components for Genode (migrated to codeberg.org)☆52May 20, 2026Updated 4 months ago
- Raspberry Pi compatible Docker image with Docker Swarm - https://github.com/docker/swarm☆14Oct 29, 2017Updated 8 years ago
- Task-based framework for automatic synchronization and memory prefetching.☆17Dec 3, 2021Updated 4 years ago