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:
- An operating system.☆30Dec 6, 2017Updated 8 years ago
- A concurrent-focused message-based operating system.☆96May 27, 2026Updated 2 weeks ago
- 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 10 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.
- tachyon - another version☆18Oct 10, 2024Updated last year
- x86 Kernel Project☆38Mar 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☆33Jul 23, 2016Updated 9 years ago
- The Lord of Files - A hobby operating system☆36Jun 6, 2021Updated 5 years ago
- Modular kernel built for simplicity☆95Jun 28, 2017Updated 8 years ago
- Kiwi operating system☆16Jan 12, 2025Updated last year
- An operating system project.☆54Sep 23, 2022Updated 3 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- JS-OS is an operating system that is streaming to become a unix clone, but with some added/better capabilities. This project was started …☆27Dec 25, 2013Updated 12 years ago
- a hobby operating system written in C☆60Feb 13, 2012Updated 14 years ago
- The bootloader, kernel, and core modules of Darkside OS.☆31Mar 5, 2023Updated 3 years ago
- Dancy Operating System☆14May 8, 2026Updated last month
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Jun 3, 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 Offer • 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☆105Jun 7, 2026Updated last week
- Toy Operating System☆11Jan 30, 2016Updated 10 years ago
- 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…☆20May 9, 2026Updated last month
- I/O Multiplexing for Linux and OSX (BSD)☆14May 14, 2014Updated 12 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
- 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The Pedigree Operating System☆54May 29, 2023Updated 3 years ago
- Keeley's - Operating System (K-OS)☆19May 6, 2021Updated 5 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆199Jul 23, 2025Updated 10 months ago
- Allwinner A20 bare metal samples☆10Oct 21, 2017Updated 8 years ago
- Operating system designed to be fast and secure.☆21Updated this week
- Patrick's Operating System☆14Apr 27, 2015Updated 11 years ago
- A Ruby VM running on Google V8 super VM.☆65Sep 9, 2008Updated 17 years ago