Alternatives and similar repositories for uefi-headers

Users that are interested in uefi-headers are comparing it to the libraries listed below

• yoppeh / efi-clang
  Build UEFI applications with the Clang compiler and LLD linker.
  ☆67Updated last year
• vathpela / gnu-efi
  My gnu-efi development tree.
  ☆70Updated 11 months ago
• TomatOrg / TomatBoot
  A UEFI 64bit Bootloader
  ☆149Updated 4 years ago
• doug65536 / dgos
  Operating System
  ☆135Updated 3 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆186Updated 2 months ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆23Updated 5 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• eryjus / century-os
  A consolidation of all the Centuries I have started
  ☆10Updated 5 years ago
• managarm / bootstrap-managarm
  Patches and build scripts to build a managarm distribution
  ☆41Updated this week
• portasynthinca3 / neutron
  A very simple operating system in C for UEFI-enabled x86-64 systems
  ☆20Updated 3 weeks ago
• miselin / pedigree
  The Pedigree Operating System
  ☆53Updated 2 years ago
• mallardtheduck / osdev
  OS development...
  ☆46Updated 2 years ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆207Updated 5 years ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 10 years ago
• no92 / vineyard
  Moved to:
  ☆12Updated 6 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 3 years ago
• shreyaslad / slate
  a 64 bit x86 operating system
  ☆17Updated 4 years ago
• ChaiSoft / ChaiOS
  Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …
  ☆43Updated last week
• austanss / micron
  A retired research project.
  ☆10Updated 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
• xenos1984 / NOS
  Operating system project
  ☆32Updated last week
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 3 years ago
• Tiihala / Dancy
  Dancy Operating System
  ☆14Updated this week
• missimer / x86-64-kernel-boot
  ☆59Updated 3 years ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• thomasloven / mittos64
  ☆51Updated 6 years ago
• Chadx86 / chadx86
  uefi bootloader for x86 and x64
  ☆10Updated 3 years ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• BrianOtto / nasm-uefi
  A UEFI Boot Loader Built in NASM
  ☆44Updated 2 years ago
• Menotdan / OSdev-tutorial
  My own OS Development tutorial.
  ☆44Updated 5 years ago