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
• AtieP / LakeBIOS
  Legacy BIOS firmware for emulators
  ☆19Updated 3 years ago
• N00byEdge / bootelf
  ☆34Updated 9 months ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 9 months ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• FedorLap2006 / DepthOS
  Very simple to use OS, which doesn't restrict you
  ☆27Updated last month
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated last year
• cute-engineering / ce-heap
  🥞 A simple heap allocation library for hobby operating systems.
  ☆18Updated last year
• 64 / cansid
  A minimal ANSI escape sequence parser, written in C.
  ☆25Updated 7 years ago
• 48cf / jinix
  linux distro but with jinx or something
  ☆18Updated 2 months ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆49Updated 3 years ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆37Updated 3 weeks ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆32Updated 3 years ago
• xrarch / aisix
  multitasking OS written in dragonfruit (defunct)
  ☆5Updated last year
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆55Updated this week
• LittleCodingFox / ToastOS
  A x86_64 hobby OS
  ☆26Updated last year
• kyx0r / tinycc
  Single header C99 compiler (TCC)
  ☆35Updated 3 months ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 2 weeks ago
• fysnet / i440fx
  i440fx BIOS source code intended for Bochs
  ☆13Updated last month
• mintsuki / jinx
  Moved to codeberg: https://codeberg.org/mintsuki/jinx
  ☆56Updated 3 months ago
• AtieP / tinyvale
  A tiny stivale/stivale2 bootloader
  ☆11Updated 4 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 9 months ago
• osdev0 / freestnd-c-hdrs-0bsd
  Moved to codeberg: https://codeberg.org/osdev/freestnd-c-hdrs-0bsd
  ☆27Updated 3 months ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated last year
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/osdev/nyu-efi
  ☆31Updated 3 months ago
• Supercip971 / plume-raytracer
  My try at making a *simple* and *fast* raytracer written in C.
  ☆28Updated 2 years ago
• mintsuki / flanterm
  Moved to codeberg: https://codeberg.org/mintsuki/flanterm
  ☆106Updated 3 months ago