corwin-mcknight / CedilleView external linksLinks
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
Sorting:
- An operating system.☆30Dec 6, 2017Updated 8 years ago
- A concurrent-focused message-based operating system.☆95Jan 4, 2026Updated last month
- tachyon - another version☆18Oct 10, 2024Updated last year
- Kiwi operating system☆15Jan 12, 2025Updated last year
- The Melon Operating System (nothing to see here!)☆13Oct 28, 2014Updated 11 years ago
- Metta OS☆73Nov 10, 2024Updated last year
- Pedigree operating system☆93May 25, 2016Updated 9 years ago
- ☆18Aug 20, 2019Updated 6 years ago
- The bootloader, kernel, and core modules of Darkside OS.☆30Mar 5, 2023Updated 2 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
- Acess2 Hobby Operating System☆91Nov 11, 2023Updated 2 years ago
- An operating system project.☆54Sep 23, 2022Updated 3 years ago
- The Lord of Files - A hobby operating system☆36Jun 6, 2021Updated 4 years ago
- Modular kernel built for simplicity☆94Jun 28, 2017Updated 8 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Jul 23, 2016Updated 9 years ago
- A Ruby VM running on Google V8 super VM.☆65Sep 9, 2008Updated 17 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
- ChaiOS: Chai Operating System. Multiplatform, visual studio (but adaptable to other compilers).☆20Jan 20, 2016Updated 10 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
- Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)☆17May 22, 2025Updated 8 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Jul 23, 2025Updated 6 months ago
- ANSI POSIX Environment neXt for Harvey OS☆33Feb 4, 2020Updated 6 years ago
- A hobby operating system☆105Dec 23, 2025Updated last month
- Toy Operating System☆11Jan 30, 2016Updated 10 years ago
- Dancy Operating System☆14Updated this week
- The chaos Operating System☆16Mar 13, 2025Updated 11 months ago
- ☆19Sep 3, 2018Updated 7 years ago
- Utility scripts to help with building and deploying the Hercules emulator on Windows☆17Nov 16, 2025Updated 2 months ago
- ahrf - [a]scii (or [a]wk) [h]uman [r]eadable [f]ile☆11Mar 31, 2020Updated 5 years ago
- Patrick's Operating System☆14Apr 27, 2015Updated 10 years ago
- Arc Lisp to C compiler☆33Aug 13, 2008Updated 17 years ago
- Moved to:☆12Jul 9, 2019Updated 6 years ago
- a hobby operating system written in C☆60Feb 13, 2012Updated 14 years ago
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Jan 28, 2026Updated 2 weeks ago
- uefi bootloader and kernel for x64☆16Dec 22, 2025Updated last month
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Feb 4, 2018Updated 8 years ago
- An OS based on a x86-Microkernel written in FreeBASIC.☆40Feb 28, 2019Updated 6 years ago
- Basic tools for building seL4 projects☆53Dec 9, 2025Updated 2 months ago