Alternatives and similar repositories for harvey

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

• 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
• mntmn / interim
  The Interim Operating System
  ☆1,279Updated 3 years ago
• 9fans / plan9port
  Plan 9 from User Space
  ☆1,714Updated 3 weeks ago
• brho / plan9
  UC Berkeley release of Plan 9 under the GPLv2
  ☆681Updated 5 years ago
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,147Updated 5 years ago
• brho / akaros
  Akaros Operating System
  ☆319Updated 3 years ago
• vygr / ChrysaLisp
  Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...
  ☆1,633Updated this week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,466Updated 3 weeks ago
• JehanneOS / jehanne
  Jehanne Operating System
  ☆288Updated 3 years ago
• genodelabs / genode
  Genode OS Framework
  ☆1,120Updated this week
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆938Updated 2 months ago
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,172Updated this week
• minoca / os
  Minoca operating system
  ☆2,743Updated 3 years ago
• codyd51 / axle
  Message-passing kernel + userspace
  ☆632Updated last year
• ReturnInfinity / BareMetal-OS-legacy
  BareMetal is a 64-bit OS for x86-64 based computers. The OS is written entirely in Assembly while applications can be written in Assembly…
  ☆1,753Updated 7 years ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆632Updated last month
• ozkl / soso
  A Simple Unix-like operating system
  ☆936Updated this week
• haileys / rustboot
  A tiny 32 bit kernel written in Rust
  ☆1,536Updated 3 years ago
• alexfru / SmallerC
  Simple C compiler
  ☆1,492Updated 5 months ago
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆486Updated 4 years ago
• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,404Updated 7 months ago
• KnightOS / KnightOS
  OS for z80 calculators
  ☆1,298Updated 4 years ago
• nebulet / nebulet
  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
  ☆2,339Updated 2 years ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆733Updated this week
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆565Updated this week
• illumos / illumos-gate
  An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles…
  ☆1,728Updated this week
• sustrik / libmill
  Go-style concurrency in C
  ☆3,058Updated 4 years ago
• ark-lang / ark
  A compiled systems programming language written in Go using the LLVM framework
  ☆681Updated 6 years ago
• sabotage-linux / sabotage
  a radical and experimental distribution based on musl libc and busybox
  ☆555Updated 2 weeks ago
• nsf / termbox
  Library for writing text-based user interfaces
  ☆1,991Updated 4 years ago