Alternatives and similar repositories for saf

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

• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• AtieP / LakeBIOS
  Legacy BIOS firmware for emulators
  ☆19Updated 4 years ago
• N00byEdge / bootelf
  ☆34Updated last year
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• 48cf / jinix
  linux distro but with jinx or something
  ☆17Updated last month
• 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.
  ☆25Updated last month
• fysnet / i440fx
  i440fx BIOS source code intended for Bochs
  ☆15Updated last month
• managarm / lil
  Lightweight Intel gpu Library
  ☆51Updated last year
• cute-engineering / ce-heap
  🥞 A simple heap allocation library for hobby operating systems.
  ☆19Updated last year
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆30Updated 3 years ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆39Updated 2 weeks ago
• managarm / xbstrap
  Build system for OS distributions
  ☆66Updated last week
• 48cf / limine-term-emu
  A toy terminal emulator using SDL and the standalone Limine terminal
  ☆11Updated 3 years ago
• 64 / cansid
  A minimal ANSI escape sequence parser, written in C.
  ☆26Updated 7 years ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated 2 months ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆30Updated 4 months ago
• N00byEdge / comp
  Attempting to self-host with a high level compiler
  ☆12Updated 3 years ago
• GrieferAtWork / KOSmk4
  KOS (Kay-OS) Operating System 400
  ☆24Updated last month
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 3 years ago
• AtieP / tinyvale
  A tiny stivale/stivale2 bootloader
  ☆11Updated 4 years ago
• osdev0 / libgcc-binaries
  Precompiled binaries of the libgcc GCC/clang runtime support library.
  ☆10Updated 2 months ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• TheUltimateFoxOS / FoxOS-kernel
  The FoxOS kernel
  ☆12Updated 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)
  ☆16Updated 2 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 3 years ago
• FedorLap2006 / DepthOS
  Very simple to use OS, which doesn't restrict you
  ☆26Updated 4 months ago