Alternatives and similar repositories for minix

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

• gdevic / minix1
  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
  ☆359Updated 7 years ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,005Updated this week
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,142Updated 9 months ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,479Updated 2 weeks ago
• mit-pdos / xv6-public
  xv6 OS
  ☆8,597Updated 10 months ago
• lattera / glibc
  GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.
  ☆1,935Updated 6 years ago
• littlekernel / lk
  LK embedded kernel
  ☆3,378Updated 3 weeks ago
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,426Updated 2 months ago
• freebsd / freebsd-src
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆8,345Updated this week
• bminor / glibc
  Unofficial mirror of sourceware glibc repository. Updated daily.
  ☆1,655Updated this week
• rui314 / 8cc
  A Small C Compiler
  ☆6,273Updated last year
• mit-pdos / xv6-riscv
  Xv6 for RISC-V
  ☆8,210Updated this week
• martinezjavier / ldd3
  Linux Device Drivers 3 examples updated to work in recent kernels
  ☆2,482Updated 2 months ago
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆856Updated last year
• qrush / unix
  Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.
  ☆884Updated 3 years ago
• NetBSD / src
  Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
  ☆795Updated this week
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆753Updated this week
• qemu / qemu
  Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…
  ☆11,627Updated this week
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆2,482Updated this week
• minix3 / minix
  Redirection to the real github page only.
  ☆107Updated 8 years ago
• gcc-mirror / gcc
  ☆10,053Updated this week
• zavg / linux-0.01
  Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
  ☆1,358Updated last year
• yuan-xy / Linux-0.11
  The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.
  ☆890Updated last year
• minoca / os
  Minoca operating system
  ☆2,749Updated 3 years ago
• saminiir / level-ip
  A hacker's userspace TCP/IP stack
  ☆3,007Updated 2 years ago
• lsahn-org / unix-v6
  UNIX 6th Edition Kernel Source Code
  ☆435Updated 6 years ago
• psankar / simplefs
  A simple, kernel-space, on-disk filesystem from the scratch
  ☆964Updated 8 months ago
• coreutils / coreutils
  upstream mirror
  ☆4,630Updated this week
• alexfru / SmallerC
  Simple C compiler
  ☆1,491Updated 6 months ago
• 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