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 last year
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 4 months ago
• 48cf / jinix
  linux distro but with jinx or something
  ☆16Updated 10 months ago
• N00byEdge / champagne
  Wine on steroids
  ☆14Updated 2 years ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated 7 months ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆31Updated 2 years ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆15Updated 3 weeks ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆33Updated last month
• nop-os / nop
  ☆20Updated 2 years ago
• ry755 / fennecos
  FennecOS - a small 32-bit x86 operating system
  ☆35Updated last month
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆45Updated 4 months ago
• xrarch / mintia2
  ☆14Updated this week
• N00byEdge / bootelf
  ☆33Updated 4 months ago
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆22Updated last week
• mintsuki / flanterm
  Fast and reasonably complete (framebuffer) terminal emulator.
  ☆92Updated last week
• theverygaming / vix
  ☆28Updated this week
• niqumu / Aulavik
  Tiny POSIX-like hobby OS written in C
  ☆18Updated last year
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 4 months ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated last year
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 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
• 48cf / zigux
  Zigux is an attempt to write a UNIX-like kernel in Zig
  ☆29Updated 7 months ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated this week
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• netlore-org / netlore
  Simple, lightweight experimental browser written in C
  ☆19Updated 7 months ago
• menix-os / menix
  A minimal and expandable Unix-like kernel
  ☆23Updated this week
• managarm / xbstrap
  Build system for OS distributions
  ☆63Updated 2 weeks ago
• pitust / xtrix
  xtrix OS repo
  ☆25Updated 2 years ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 5 months ago