Exokernel for the consumer
☆35Apr 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:
- 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 6 years ago
- A YouTube Transcoding Proxy for accessing YouTube in Classic MacOS☆13Dec 8, 2022Updated 3 years ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago
- The source of the BSD version moving to POSIX complacence☆16Aug 2, 2014Updated 11 years ago
- Experimental Little Kernel Android Bootloader for selected Lumia devices☆24Jun 25, 2019Updated 6 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.
- Mono Hard Debugger☆15Oct 21, 2012Updated 13 years ago
- A lightweight 32-bit x86 operating system designed for netbooks.☆11Nov 2, 2023Updated 2 years ago
- Many Threads Operating System☆18Apr 22, 2022Updated 3 years ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 6 years ago
- Reverse-engineered Mac OS NanoKernel☆44Dec 3, 2018Updated 7 years ago
- Single-address-space capability-based nanokernel☆87Mar 17, 2026Updated 3 weeks ago
- DeviceIO是一个驱动框架，用于封装嵌入式HAL驱动，为上层应用提供服务。☆10Jun 1, 2024Updated last year
- A feature-complete gate-level microcoded Intel 4004 in 4004 bytes of C, capable of emulating the original Busicom calculator ROM for whic…☆29Aug 5, 2025Updated 8 months ago
- A tutorial on the facet world generation system☆11Sep 2, 2021Updated 4 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.
- OS2022-Proj95☆11Jun 5, 2022Updated 3 years ago
- ☆14Mar 18, 2026Updated 3 weeks ago
- ☆53Apr 4, 2022Updated 4 years ago
- C standard library for embedded systems☆11Aug 25, 2025Updated 7 months ago
- ☆11Nov 18, 2021Updated 4 years ago
- Write embedded C faster, better and safer with fin☆15Sep 26, 2024Updated last year
- Repository to host Servo nightly builds using Github Releases.☆15Updated this week
- Automatic Light probe generator for Unity engine. Based on "Light Grid" of "Precomputed Lighting in CoD IW 2017". and "Light probe interp…☆20Jan 12, 2023Updated 3 years ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Amazing Luna Engine Research Tools (formerly dat1_extractor)☆17Jan 12, 2026Updated 3 months ago
- OSF Mach and MkLinux conservation project☆31Nov 3, 2012Updated 13 years ago
- ☆14Mar 18, 2026Updated 3 weeks ago
- SCBE is a compiler back-end library written from scratch☆32Mar 23, 2026Updated 3 weeks ago
- Clone of http://nsz.repo.hu/git/?p=c-standard☆23May 6, 2019Updated 6 years ago
- ☆14Dec 9, 2025Updated 4 months ago
- TWRP device tree for Mi 11T☆11Dec 28, 2021Updated 4 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- ARM OS☆14Jun 16, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- RRR-builder is used for the creation of Rolling Rhino Remix disk images. Automated through GitHub actions.☆15Oct 31, 2022Updated 3 years ago
- Awesome Android Release Notes is a useful directory for a developer to keep up-to-date with all the things related with Android software …☆21Jan 11, 2017Updated 9 years ago
- Reimplementation and extension of teaching operating system xv6, supersedes xv6-Loongson3a☆16Sep 30, 2020Updated 5 years ago
- Development containers for triton and triton-cpu☆27Updated this week
- a 3D graphics engine without graphics libs☆14Jun 29, 2019Updated 6 years ago
- ☆24Jan 7, 2026Updated 3 months ago
- Quake III: Arena (1999) by id Software, Inc.☆27Jan 31, 2012Updated 14 years ago