Exokernel for the consumer
☆36Apr 15, 2019Updated 7 years ago
Alternatives and similar repositories for ExOS
Users that are interested in ExOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unofficial terralang compiler☆13Apr 21, 2023Updated 3 years ago
- A Public-domain C header file for x86 MSR (Model Specific Register) addresses, and a naive generator of it.☆14Dec 17, 2017Updated 8 years ago
- Distributed Operating System on Exokernel (Unikernel) Concepts☆24Oct 7, 2023Updated 3 years ago
- The Silcos kernel is a hybrid, robust and compact modular kernel which provides a platform to build the Silcos OS and SilkUI☆11Jun 22, 2019Updated 7 years ago
- Mach4 archived source.☆21Jun 7, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago
- A YouTube Transcoding Proxy for accessing YouTube in Classic MacOS☆13Dec 8, 2022Updated 3 years ago
- The source of the BSD version moving to POSIX complacence☆18Aug 2, 2014Updated 12 years ago
- simple neural network designed for inlineable code optimizations☆11Aug 28, 2023Updated 3 years ago
- Many Threads Operating System☆19Apr 22, 2022Updated 4 years ago
- KLH10 PDP-10 Emulator☆21Jan 3, 2016Updated 10 years ago
- OS2022-Proj95☆11Jun 5, 2022Updated 4 years ago
- Windows Games Launcher for FreeBSD☆16Mar 6, 2024Updated 2 years ago
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆18Aug 20, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Personal projects written in Shakespearelang (SPL) + A Tutorial for Beginners.☆16Dec 12, 2023Updated 2 years ago
- C standard library for embedded systems☆11Aug 25, 2025Updated last year
- ☆11Nov 18, 2021Updated 4 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 5 years ago
- Homelab & Self-hosting OCI based OS based on uCore☆16Nov 24, 2025Updated 10 months ago
- A semantic application launcher and desktop search application for GNOME.☆15May 27, 2023Updated 3 years ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated 11 months ago
- OSF Mach and MkLinux conservation project☆32Nov 3, 2012Updated 13 years ago
- Effortless zero allocation cross-plateform command line argument parsing library.☆18Oct 4, 2026Updated last week
- 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.
- An interpreted programming language☆23Jun 13, 2025Updated last year
- Ship a prebuilt Wine environment driven by box86 & box64 on Ubuntu Touch☆13Jul 12, 2026Updated 3 months ago
- ☆21Updated this week
- this is dolphinOS source code☆17Oct 5, 2021Updated 5 years ago
- Build support to create arbitrary disk images from build.zig.☆18Updated this week
- ☆16Apr 11, 2023Updated 3 years ago
- A set of python modules for working with AUTOSAR XML files☆16Aug 3, 2025Updated last year
- RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core☆16Jul 20, 2023Updated 3 years ago
- RRR-builder is used for the creation of Rolling Rhino Remix disk images. Automated through GitHub actions.☆15Oct 31, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Void Linux live image maker☆18Mar 12, 2025Updated last year
- ✨ a microkernel in Rust☆43Oct 7, 2021Updated 5 years ago
- Reimplementation and extension of teaching operating system xv6, supersedes xv6-Loongson3a☆16Sep 30, 2020Updated 6 years ago
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆19Jan 22, 2024Updated 2 years ago
- An exokernel for the raspberry pi 3.☆83Nov 17, 2021Updated 4 years ago
- The development version of the L4Re Microkernel☆167Oct 2, 2026Updated last week
- Technology is free, SnowFlakeOS☆55Sep 15, 2018Updated 8 years ago