Alternatives and similar repositories for Cedille:

Users that are interested in Cedille are comparing it to the libraries listed below

• jmolloy / pedigree
  Pedigree operating system
  ☆89Updated 8 years ago
• duckinator / dux
  An operating system.
  ☆29Updated 7 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆86Updated last year
• blanham / PDCLib
  Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)
  ☆15Updated 11 years ago
• primis / Apollo
  x86 Kernel Project
  ☆32Updated last year
• jezze / fudge
  A concurrent-focused message-based operating system.
  ☆93Updated 3 weeks ago
• Benderx2 / R3X
  Official repository for the REX virtual machine
  ☆12Updated 9 years ago
• metta-systems / metta
  Metta OS
  ☆69Updated 4 months ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆51Updated 2 months ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆22Updated 5 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆11Updated 12 years ago
• nickbjohnson4224 / rhombus
  a hobby operating system written in C
  ☆59Updated 13 years ago
• Thynix / osdev
  A hobby operating system built mostly from scratch.
  ☆8Updated 11 years ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆24Updated 9 years ago
• jtsiomb / kernel
  A minimal UNIX kernel project for x86 PCs
  ☆36Updated 5 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago
• latentPrion / zambesii
  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…
  ☆17Updated this week
• zhiayang / mx
  Hobby Operating System in C++
  ☆11Updated 6 years ago
• patrick-lafferty / saturn
  A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
  ☆23Updated 5 years ago
• himanshugoel2797 / ApertureOS
  Toy Operating System
  ☆11Updated 9 years ago
• olsner / os
  x86-64 assembly µkernel
  ☆17Updated 4 years ago
• tykel / libjit
  A simple, pure C, jit library
  ☆16Updated 9 years ago
• Alexis211 / Melon
  The Melon Operating System (nothing to see here!)
  ☆13Updated 10 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆91Updated 7 years ago
• miselin / pedigree
  The Pedigree Operating System
  ☆52Updated last year
• mokafive / grub
  The GRUB 2 bootloader. "upstream" is a mirror of the official bzr repository; "master" and other branches are our development. All branch…
  ☆9Updated 8 years ago
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• collinsmichael / spartan
  Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind
  ☆13Updated 6 years ago
• erincandescent / lib9660
  A simple ISO9660 file system implementation.
  ☆41Updated last month
• terralang / terrac
  Unofficial terralang compiler
  ☆12Updated last year