Alternatives and similar repositories for akaros

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

• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆225Updated 3 years ago
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆564Updated last week
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆197Updated last year
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆281Updated 5 years ago
• brho / plan9
  UC Berkeley release of Plan 9 under the GPLv2
  ☆681Updated 5 years ago
• 9fans / vx32
  Portable, efficient, safe execution of untrusted x86 code
  ☆123Updated 3 years ago
• travisg / newos
  The NewOS Operating System
  ☆209Updated 9 years ago
• madd-games / glidix
  A POSIX-compliant but modernized, graphical operating system for x86_64.
  ☆76Updated 6 months ago
• JehanneOS / jehanne
  Jehanne Operating System
  ☆287Updated 3 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆66Updated 4 years ago
• klange / toaru-nih
  NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
  ☆69Updated 6 years ago
• doug65536 / dgos
  Operating System
  ☆133Updated 3 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 8 years ago
• p-durlej / newsys
  Vanadium OS
  ☆111Updated 7 years ago
• gwsystems / composite
  A component-based OS
  ☆190Updated 3 months ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆86Updated last year
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆253Updated 5 years ago
• 0intro / plan9
  Plan 9 History, from 2002-12-12 to 2015-01-10. A more complete version of this repository is available on https://github.com/plan9foundat…
  ☆868Updated 3 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• jezze / fudge
  A concurrent-focused message-based operating system.
  ☆94Updated 3 weeks ago
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆484Updated 4 years ago
• AndrewAPrice / Perception
  A hobby operating system
  ☆103Updated 3 months ago
• swetland / xv6
  64bit port of xv6
  ☆129Updated 5 years ago
• ronsoros / rvm
  simple virtual machine and assembler
  ☆220Updated 8 years ago
• andrewchambers / c
  small self hosting C compiler
  ☆481Updated 3 years ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆304Updated 5 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆93Updated 7 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 8 years ago
• Harvey-OS / harvey
  A distributed operating system
  ☆1,450Updated 2 years ago