Alternatives and similar repositories for PrettyOS

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

• Unturned3 / Microdot
  The Microdot Project guides you to create a fully functional but compact Linux system from scratch
  ☆50Updated 4 years ago
• RobbeDGreef / yanix
  Yanix is a UNIX-like kernel / operating system build completely from scratch
  ☆87Updated 3 years ago
• rhythm16 / rpi4-bare-metal
  an operating system for the Raspberry Pi 4B in the making
  ☆61Updated last year
• AndreVallestero / minimal-efi
  A bare-bones minimal executable application for efi on the x64 platform
  ☆59Updated 2 years ago
• mkilgore / protura
  ☆92Updated 3 years ago
• embeddedartistry / libmemory
  Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions
  ☆274Updated this week
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆200Updated 6 months ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 6 years ago
• doug65536 / dgos
  Operating System
  ☆135Updated 3 years ago
• brenns10 / sos
  Home-made almost operating system
  ☆145Updated 3 years ago
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆64Updated 3 years ago
• PetteriAimonen / Baselibc
  Small C library for microcontrollers. Code is based on klibc.
  ☆119Updated 4 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆62Updated 7 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆138Updated last year
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆86Updated 3 months ago
• klange / toaru-nih
  NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
  ☆68Updated 7 years ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• AjayMT / mako
  The Mako Operating System
  ☆62Updated 6 months ago
• brenns10 / libstephen
  My own C library. Probably don't use it.
  ☆34Updated 5 years ago
• seL4 / util_libs
  ☆61Updated last month
• rockytriton / LLD
  ☆178Updated 2 years ago
• matt001k / STORfs
  Open source file system for small embedded systems
  ☆38Updated this week
• moehriegitt / vastringify
  Type-safe Printf in C
  ☆71Updated last year
• fwsGonzo / barebones
  Barebones multiboot kernel for beginners
  ☆155Updated 6 years ago
• ryansturmer / thinfat32
  A lightweight implementation of the fat32 filesystem specification in C for embedded systems.
  ☆113Updated 5 years ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆50Updated 4 years ago
• richardbraun / x1
  Minimalist educational operating system
  ☆61Updated 4 years ago
• dwelch67 / raspberrypi-zero
  Raspberry Pi Zero baremetal examples
  ☆171Updated 4 years ago