Alternatives and similar repositories for toolchains

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

• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆88Updated last year
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• tqh / efi-example
  Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
  ☆60Updated 4 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆199Updated last month
• zhmu / ananas
  Ananas Operating System
  ☆56Updated 3 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆53Updated 3 months ago
• klange / toaru-nih
  NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
  ☆69Updated 6 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆60Updated 6 years ago
• metta-systems / metta
  Metta OS
  ☆71Updated 10 months ago
• miselin / pedigree
  The Pedigree Operating System
  ☆52Updated 2 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆93Updated 8 years ago
• seL4 / util_libs
  ☆59Updated last month
• esmil / musl
  ☆65Updated 10 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated last year
• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆42Updated 4 years ago
• ryansturmer / thinfat32
  A lightweight implementation of the fat32 filesystem specification in C for embedded systems.
  ☆107Updated 5 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• madd-games / glidix
  A POSIX-compliant but modernized, graphical operating system for x86_64.
  ☆76Updated 10 months ago
• dryc / libc11
  A public domain implementation of the C11 standard library.
  ☆168Updated 6 years ago
• rikusalminen / danjeros
  A hobby operating system. Everyone's gotta have one.
  ☆49Updated 14 years ago
• eteran / os64
  A minimal example of an x86_64 higher half kernel loaded at the -2GB mark
  ☆41Updated 2 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆91Updated 9 years ago
• seyko2 / tccboot
  Using TinyCC to compile Linux kernels
  ☆65Updated 9 years ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆25Updated 9 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆135Updated last year
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated last week
• toaruos / misaka
  Experimental x86_64 kernel project. Planned eventual successor to the kernel in ToaruOS. WIP
  ☆81Updated 4 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• ensc / dietlibc
  Inofficial git-cvs clone of cvs@cvs.fefe.de:/cvs + some changes
  ☆124Updated 6 years ago