Alternatives and similar repositories for PIOS

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

• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 9 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 9 years ago
• q3k / Cucumber
  Migrated to Codeberg
  ☆11Updated 2 years ago
• ProgrammerArchaeology / bellcore-mgr
  ☆15Updated 7 years ago
• leto / asmutils
  asmutils is a set of miscellaneous unix utilities written in assembly language
  ☆78Updated 16 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• programble / bare-metal-tetris
  Tetris for x86 in bad C. Succeeded by Tetrasm.
  ☆64Updated 10 years ago
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆107Updated 8 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 5 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆21Updated 10 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆83Updated 3 years ago
• drh / iburg
  A Tree Parser Generator
  ☆102Updated last year
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆50Updated last year
• jovanbulck / jsh
  A basic UNIX shell implementation in C
  ☆33Updated 6 years ago
• ZornsLemma / lib6502-jit
  JIT compiler for 6502 machine code, built on lib6502 and LLVM
  ☆55Updated 11 years ago
• andrewchambers / cmips
  cmips
  ☆56Updated 11 years ago
• brho / akaros
  Akaros Operating System
  ☆324Updated 3 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 9 months ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• tjmerritt / z80
  Parag Patel's Z80 Emulator
  ☆50Updated 9 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• Fedjmike / fcc
  Fedjmike's C Compiler
  ☆136Updated 8 years ago
• NanXiao / using-dtrace-stories
  ☆23Updated 7 months ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆54Updated 5 years ago
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆223Updated 13 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆41Updated 3 years ago
• 8l / cc500
  CC500: a tiny self-hosting C compiler
  ☆162Updated 8 years ago
• smtlaissezfaire / bcompiler
  Bootstrap compiler
  ☆86Updated 15 years ago