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
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• N00byEdge / bootelf
  ☆34Updated 5 months ago
• nothotscott / VisualOS
  x86-64 UEFI operating system with the goal of eliminating command lines
  ☆28Updated 3 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
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 5 months ago
• AtieP / LakeBIOS
  Legacy BIOS firmware for emulators
  ☆19Updated 3 years ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆49Updated last week
• AtieP / tinyvale
  A tiny stivale/stivale2 bootloader
  ☆11Updated 3 years ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆33Updated 2 weeks 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
• osdev0 / libgcc-binaries
  Precompiled binaries of the libgcc GCC/clang runtime support library.
  ☆10Updated last month
• osdev0 / nyu-efi
  GNU-EFI fork with fixes and improvements.
  ☆31Updated 3 weeks ago
• GrieferAtWork / KOSmk4
  Kaos Operating System 400
  ☆24Updated 2 months ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated last year
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆31Updated 3 years ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated 8 months ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 3 years ago
• limine-bootloader / limine-cxx-template
  A simple template for building a Limine-compliant kernel in C++.
  ☆16Updated this week
• pitust / xtrix
  xtrix OS repo
  ☆25Updated 2 years ago
• Qwinci / crescent
  A custom OS distribution
  ☆19Updated 3 months ago
• wxwisiasdf / osdev-ide
  IDE integrated with qemu
  ☆14Updated 2 years ago
• OBOS-dev / obos-old
  I was bored...
  ☆13Updated last year
• 48cf / jinix
  linux distro but with jinx or something
  ☆17Updated 11 months ago
• xrarch / mintia2
  ☆14Updated this week
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• osdev0 / freestnd-c-hdrs-0bsd
  Collection of 0BSD-licensed freestanding C headers for GCC and Clang.
  ☆27Updated 3 months ago
• bubach / Simple-C
  newest version of small C that i know about, compiles to 32-bit fasm/nasm syntax assembly
  ☆13Updated 10 years ago