A kernel with a purpose - to keep most of the code out of the kernel
☆15Jun 30, 2019Updated 6 years ago
Alternatives and similar repositories for Cedille
Users that are interested in Cedille 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 concurrent-focused message-based operating system.☆95Apr 6, 2026Updated last week
- Metta OS☆72Nov 10, 2024Updated last year
- The Melon Operating System (nothing to see here!)☆13Oct 28, 2014Updated 11 years ago
- Pedigree operating system☆93May 25, 2016Updated 9 years ago
- tachyon - another version☆18Oct 10, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- x86 Kernel Project☆36Mar 17, 2024Updated 2 years ago
- Acess2 Hobby Operating System☆92Nov 11, 2023Updated 2 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Jul 23, 2016Updated 9 years ago
- Modular kernel built for simplicity☆95Jun 28, 2017Updated 8 years ago
- First, abandoned, iteration of my OS project. Current iteration can be found here: https://github.com/griwes/reaveros☆33Jun 22, 2015Updated 10 years ago
- An operating system project.☆54Sep 23, 2022Updated 3 years ago
- A consolidation of all the Centuries I have started☆10Jun 6, 2020Updated 5 years ago
- XEOS is an experimental 32/64 bits Operating System for x86 platforms, written from scratch in Assembly and C. It includes a C99 Standard…☆91Aug 2, 2021Updated 4 years ago
- JS-OS is an operating system that is streaming to become a unix clone, but with some added/better capabilities. This project was started …☆26Dec 25, 2013Updated 12 years ago
- 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 hobby operating system written in C☆60Feb 13, 2012Updated 14 years ago
- The bootloader, kernel, and core modules of Darkside OS.☆30Mar 5, 2023Updated 3 years ago
- ChaiOS: Chai Operating System. Multiplatform, visual studio (but adaptable to other compilers).☆20Jan 20, 2016Updated 10 years ago
- Samples of binary with different formats and architectures. A test suite for your binary analysis tools.☆21Jun 23, 2014Updated 11 years ago
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Apr 8, 2026Updated last week
- Moved to:☆12Jul 9, 2019Updated 6 years ago
- The historical, initial implementation of an ooc compiler in Java☆116Feb 6, 2013Updated 13 years ago
- Stage 3 Dissertation project. The aim is to create an X86-32bit operating system as a vehicle to learn about operating systems from a stu…☆10Nov 18, 2018Updated 7 years ago
- A modular POSIX-like operating system created for educational purposes☆20Dec 31, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18Aug 20, 2019Updated 6 years ago
- A hobby operating system☆105Mar 25, 2026Updated 3 weeks ago
- uefi bootloader and kernel for x64☆16Dec 22, 2025Updated 3 months ago
- Toy Operating System☆11Jan 30, 2016Updated 10 years ago
- The chaos Operating System☆16Mar 13, 2025Updated last year
- Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully a…☆20Apr 1, 2026Updated 2 weeks ago
- I/O Multiplexing for Linux and OSX (BSD)☆14May 14, 2014Updated 11 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Nov 6, 2024Updated last year
- Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)☆15Nov 14, 2013Updated 12 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.
- An OS based on a x86-Microkernel written in FreeBASIC.☆40Feb 28, 2019Updated 7 years ago
- L4Ka::Hazelnut micro-kernel☆38Sep 1, 2015Updated 10 years ago
- The Pedigree Operating System☆54May 29, 2023Updated 2 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Jul 23, 2025Updated 8 months ago
- ANSI POSIX Environment neXt for Harvey OS☆33Feb 4, 2020Updated 6 years ago
- Operating system designed to be fast and secure.☆21May 23, 2017Updated 8 years ago
- Patrick's Operating System☆14Apr 27, 2015Updated 10 years ago