Alternatives and similar repositories for saf:

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

• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• N00byEdge / bootelf
  ☆33Updated 4 months ago
• AtieP / LakeBIOS
  Legacy BIOS firmware for emulators
  ☆19Updated 3 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 4 months ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆33Updated this week
• nothotscott / VisualOS
  x86-64 UEFI operating system with the goal of eliminating command lines
  ☆28Updated 3 years ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆45Updated this week
• 48cf / jinix
  linux distro but with jinx or something
  ☆16Updated 10 months ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• AtieP / tinyvale
  A tiny stivale/stivale2 bootloader
  ☆11Updated 3 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
• pitust / xtrix
  xtrix OS repo
  ☆25Updated 2 years ago
• 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)
  ☆15Updated 2 years ago
• xrarch / mintia2
  ☆14Updated this week
• osdev0 / libgcc-binaries
  Precompiled binaries of the libgcc GCC/clang runtime support library.
  ☆10Updated 3 weeks ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated last year
• TheUltimateFoxOS / FoxOS-kernel
  The FoxOS kernel
  ☆12Updated 3 years ago
• osdev0 / nyu-efi
  GNU-EFI fork with fixes and improvements.
  ☆30Updated 2 months ago
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆28Updated 5 months ago
• wxwisiasdf / osdev-ide
  IDE integrated with qemu
  ☆14Updated 2 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• CPL-1 / CPL-1
  Operating system in C written for fun and glory
  ☆34Updated 3 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 6 months ago
• GrieferAtWork / KOSmk4
  Kaos Operating System 400
  ☆23Updated last month
• tailix / libkernaux
  Auxiliary library for kernel development
  ☆30Updated 2 years ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆15Updated last month