Minimalistic Operating System for Xen
☆66Sep 28, 2022Updated 4 years ago
Alternatives and similar repositories for mini-os
Users that are interested in mini-os are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A content cache node unikernel☆12Sep 28, 2022Updated 4 years ago
- The Click modular router: fast modular packet processing and analysis☆143Sep 28, 2022Updated 4 years ago
- A Microptyhon-based Unikernel for Xen☆20Sep 28, 2022Updated 4 years ago
- Chaos is a virtualization toolstack focused on performance☆17Sep 28, 2022Updated 4 years ago
- IP flow calculation toolkit☆13Nov 30, 2015Updated 10 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.
- The Click modular router: fast modular packet processing and analysis☆776Jul 4, 2022Updated 4 years ago
- Hakabana monitoring tool using Haka, ElastcSearch and Kibana☆20Sep 24, 2014Updated 12 years ago
- ☆14Sep 29, 2019Updated 7 years ago
- Raspberry Pi Emulator☆11Jul 25, 2014Updated 12 years ago
- Simple Text-To-Speech (TTS) interface library with multi-language and multi-engine support.☆25Jul 27, 2026Updated 3 months ago
- The Click modular router: fast modular packet processing and analysis☆10Sep 13, 2017Updated 9 years ago
- A hobby OS☆54May 30, 2026Updated 5 months ago
- HermitCore: A C-based, lightweight unikernel☆225Nov 5, 2021Updated 4 years ago
- userspace tools for linux libos☆101Mar 16, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- NTFS-3G Safe Read/Write NTFS Driver☆11Nov 13, 2023Updated 2 years ago
- Building Network Automation Solutions - ipspace 2019☆14Jun 5, 2020Updated 6 years ago
- Public resources NB shares☆18Mar 7, 2016Updated 10 years ago
- Automatically exported from code.google.com/p/manualgc☆17Mar 25, 2015Updated 11 years ago
- Unikernel applications framework☆13Jun 1, 2025Updated last year
- ☆11Apr 12, 2014Updated 12 years ago
- Scripts to create a custom FreeBSD install ISO and a KVM image for use in SmartOS and Triton.☆12Jul 24, 2020Updated 6 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 10 years ago
- Simple memory benchmarking of Intel SGX☆12Aug 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.
- ☆235Sep 19, 2018Updated 8 years ago
- ☆17Sep 17, 2015Updated 11 years ago
- Application to request a SGX remote attestation.☆10Aug 22, 2017Updated 9 years ago
- A list about Unikernels☆117Sep 14, 2023Updated 3 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 8 years ago
- ☆29Apr 17, 2014Updated 12 years ago
- A unikernel builder based on MUSL + LKL, designed to run any vanilla application inside an SGX enclave☆10Sep 13, 2016Updated 10 years ago
- Create small 64-bit ELF files from C++17 source code☆20Apr 29, 2026Updated 6 months ago
- wannabe (up-to-date) 64bit port of lguest☆14May 11, 2011Updated 15 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.
- collection of libraries for R6RS Scheme supporting Ikarus, Larceny, Mosh, Petite Chez, Vicare and Ypsilon☆14Apr 9, 2011Updated 15 years ago
- Quick start template for a Golang WebAssembly app with Svelte front end☆10Nov 8, 2020Updated 5 years ago
- Modern C++ Regular Expressions library, wrapping both POSIX and Lua string patterns.☆11May 31, 2015Updated 11 years ago
- A JRuby wrapper for the Weka data mining software☆10Dec 8, 2010Updated 15 years ago
- Zephyr module including a little build system for Lua and usage samples☆12Aug 21, 2025Updated last year
- A basic link shortener with a frontend built with Vecty☆16Oct 16, 2019Updated 7 years ago
- ENC28j60 based atmega328p bootloader.☆17Aug 29, 2015Updated 11 years ago