Alternatives and similar repositories for tinyefi:

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

• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 5 months ago
• 48cf / jinix
  linux distro but with jinx or something
  ☆17Updated 11 months ago
• xrarch / mintia2
  ☆14Updated this week
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated 8 months ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆31Updated 2 years ago
• N00byEdge / bootelf
  ☆34Updated 5 months ago
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆22Updated last month
• theverygaming / vix
  ☆28Updated last month
• niqumu / Aulavik
  Tiny POSIX-like hobby OS written in C
  ☆18Updated last year
• V01D-NULL / limine-terminal-port
  A port of the limine terminal which won't interfere with any user level address spaces (i.e. it's not in lower half memory anymore)
  ☆14Updated 2 years ago
• osdev0 / libgcc-binaries
  Precompiled binaries of the libgcc GCC/clang runtime support library.
  ☆10Updated last month
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆33Updated this week
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 5 months ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• Moldytzu / GaOS
  Gallium Operating System
  ☆13Updated 2 months ago
• Glowman554 / MicroOS
  Simple OS with memory protection.
  ☆12Updated this week
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated last year
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆49Updated this week
• ry755 / fennecos
  FennecOS - a small 32-bit x86 operating system
  ☆36Updated 2 months ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated last month
• pitust / xtrix
  xtrix OS repo
  ☆25Updated 2 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• wxwisiasdf / osdev-ide
  IDE integrated with qemu
  ☆14Updated 2 years ago
• iProgramMC / NanoShell64
  The NanoShell64 Operating System - an x86_64 SMP aware OS. Abandoned as of August 20th, 2023, see below link.
  ☆16Updated last year
• nop-os / nop
  ☆20Updated 2 years ago
• N00byEdge / comp
  Attempting to self-host with a high level compiler
  ☆11Updated 2 years ago
• bolt-os / spark
  A 64-bit bootloader for RISC-V
  ☆15Updated last year
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago