Alternatives and similar repositories for Cedille

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

• metta-systems / metta
  Metta OS
  ☆73Updated last year
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 9 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆91Updated 2 years ago
• 16Bitt / virtix
  A UNIX-like operating system with an emphasis on simplicity
  ☆38Updated 6 years ago
• zhmu / ananas
  Ananas Operating System
  ☆56Updated 3 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆93Updated 9 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆23Updated 5 years ago
• himanshugoel2797 / ApertureOS
  Toy Operating System
  ☆11Updated 10 years ago
• blanham / PDCLib
  Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)
  ☆15Updated 12 years ago
• dex-os / DexOS
  The OS and related projects/examples
  ☆36Updated 8 years ago
• erincandescent / lib9660
  A simple ISO9660 file system implementation.
  ☆44Updated last year
• tykel / libjit
  A simple, pure C, jit library
  ☆17Updated 10 years ago
• duckinator / dux
  An operating system.
  ☆30Updated 8 years ago
• jezze / fudge
  A concurrent-focused message-based operating system.
  ☆95Updated last month
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆223Updated 13 years ago
• aejsmith / kiwi
  Kiwi operating system
  ☆15Updated last year
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 8 months ago
• Benderx2 / R3X
  Official repository for the REX virtual machine
  ☆12Updated 9 years ago
• archiecobbs / jcvm
  Java virtual machine implementation that converts class files into C source files (HISTORICAL)
  ☆16Updated 10 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆94Updated 8 years ago
• terralang / terrac
  Unofficial terralang compiler
  ☆13Updated 2 years ago
• farlepet / lambda-kern
  Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
  ☆16Updated last month
• lukaszle / zed_net
  Single file public domain networking library
  ☆11Updated 10 years ago
• primis / Apollo
  x86 Kernel Project
  ☆36Updated last year
• pts / pts-xtiny
  gcc wrapper and libc for creating tiny (200-byte) Linux i386 executables
  ☆15Updated 3 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• refi64 / libcut
  Easy, flexible C unit testing
  ☆11Updated 9 years ago
• managarm / lewis
  Lightweight SSA compiler suite
  ☆11Updated last year
• eteran / os64
  A minimal example of an x86_64 higher half kernel loaded at the -2GB mark
  ☆42Updated 3 years ago