Alternatives and similar repositories for harvey:

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

• 9fans / plan9port
  Plan 9 from User Space
  ☆1,660Updated 2 months 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…
  ☆860Updated 2 years ago
• mntmn / interim
  The Interim Operating System
  ☆1,254Updated 3 years ago
• vygr / ChrysaLisp
  Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...
  ☆1,615Updated last week
• genodelabs / genode
  Genode OS Framework
  ☆1,090Updated this week
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,141Updated 4 years ago
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,130Updated last month
• brho / akaros
  Akaros Operating System
  ☆315Updated 2 years ago
• JehanneOS / jehanne
  Jehanne Operating System
  ☆284Updated 3 years ago
• brho / plan9
  UC Berkeley release of Plan 9 under the GPLv2
  ☆678Updated 4 years ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,397Updated this week
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆915Updated 3 months ago
• KnightOS / KnightOS
  OS for z80 calculators
  ☆1,296Updated 3 years ago
• DragonFlyBSD / DragonFlyBSD
  DragonFly BSD System Source Repository (read-only mirror)
  ☆554Updated last week
• 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,748Updated 7 years ago
• larmel / lacc
  A simple, self-hosting C compiler
  ☆930Updated 2 years ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆561Updated this week
• ozkl / soso
  A Simple Unix-like operating system
  ☆912Updated last year
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,202Updated 2 weeks ago
• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,393Updated 3 months ago
• sabotage-linux / sabotage
  a radical and experimental distribution based on musl libc and busybox
  ☆551Updated last week
• minoca / os
  Minoca operating system
  ☆2,724Updated 3 years ago
• taviso / ctypes.sh
  A foreign function interface for bash.
  ☆2,112Updated 6 months ago
• redox-os / tfs
  Mirror of https://gitlab.redox-os.org/redox-os/tfs
  ☆2,947Updated 11 months ago
• alexfru / SmallerC
  Simple C compiler
  ☆1,445Updated 3 weeks ago
• cksystemsteaching / selfie
  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V…
  ☆2,398Updated this week
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,604Updated this week
• plan9foundation / plan9
  Plan 9 History, from 1992-09-21 to 2015-01-10.
  ☆477Updated 3 years ago
• codyd51 / axle
  Message-passing kernel + userspace
  ☆627Updated 9 months ago
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆476Updated 4 years ago