Alternatives and similar repositories for akaros:

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

• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆557Updated 3 weeks ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆221Updated 3 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆195Updated last year
• travisg / newos
  The NewOS Operating System
  ☆207Updated 9 years ago
• JehanneOS / jehanne
  Jehanne Operating System
  ☆284Updated 3 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆250Updated 5 years ago
• 9fans / vx32
  Portable, efficient, safe execution of untrusted x86 code
  ☆120Updated 2 years ago
• brho / plan9
  UC Berkeley release of Plan 9 under the GPLv2
  ☆679Updated 4 years ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆275Updated 5 years ago
• uw-unsat / hyperkernel
  ☆183Updated 4 years ago
• p-durlej / newsys
  Vanadium OS
  ☆110Updated 6 years ago
• gwsystems / composite
  A component-based OS
  ☆190Updated 4 months ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆85Updated last year
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆476Updated 4 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆81Updated 8 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆89Updated 8 years ago
• klange / toaru-nih
  NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
  ☆68Updated 6 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆77Updated 2 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• beevik / MonkOS
  an experimental 64-bit operating system
  ☆135Updated last month
• ipankajg / ceed
  A tiny x86 compiler with ELF and PE target
  ☆184Updated last year
• rumpkernel / wiki
  Wiki for rump kernels
  ☆461Updated last year
• littleosbook / aenix
  adams and eriks nix
  ☆116Updated 7 years ago
• andrewchambers / c
  small self hosting C compiler
  ☆475Updated 3 years ago
• hgesser / ulix
  Ulix, the Literate Unix
  ☆177Updated 9 years ago
• swetland / xv6
  64bit port of xv6
  ☆127Updated 5 years ago
• Harvey-OS / harvey
  A distributed operating system
  ☆1,445Updated 2 years ago
• chaos / diod
  Distributed I/O Daemon - a 9P file server
  ☆352Updated this week
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆107Updated 4 years ago
• madd-games / glidix
  A POSIX-compliant but modernized, graphical operating system for x86_64.
  ☆75Updated 2 months ago