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.
  ☆368Updated 7 years ago
• qrush / unix
  Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.
  ☆894Updated 4 years ago
• lattera / glibc
  GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.
  ☆1,953Updated 7 years ago
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,171Updated 11 months ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,059Updated last week
• freebsd / freebsd-src
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆8,471Updated this week
• zavg / linux-0.01
  Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
  ☆1,397Updated last year
• lsahn-org / unix-v6
  UNIX 6th Edition Kernel Source Code
  ☆455Updated 6 years ago
• mit-pdos / xv6-public
  xv6 OS
  ☆8,791Updated last year
• bminor / glibc
  Unofficial mirror of sourceware glibc repository. Updated daily.
  ☆1,719Updated this week
• NetBSD / src
  Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
  ☆821Updated this week
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆867Updated last year
• littlekernel / lk
  LK embedded kernel
  ☆3,424Updated last week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,496Updated last month
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆774Updated last week
• openbsd / src
  Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
  ☆3,530Updated this week
• yuan-xy / Linux-0.11
  The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.
  ☆901Updated last year
• minix3 / minix
  Redirection to the real github page only.
  ☆107Updated 8 years ago
• coreos / grub
  GRand Unified Bootloader http://www.gnu.org/software/grub/grub.html
  ☆382Updated 5 years ago
• rswier / c4
  C in four functions
  ☆10,332Updated last year
• mirror / busybox
  BusyBox mirror
  ☆1,893Updated 11 months ago
• AlgorithMan-de / wyoos
  Source codes for the "Write your own Operating System" video-series on YouTube
  ☆775Updated 2 years ago
• rui314 / 8cc
  A Small C Compiler
  ☆6,308Updated last year
• 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,772Updated this week
• bminor / musl
  Unofficial mirror of etalabs musl repository. Updated daily.
  ☆590Updated 2 weeks ago
• littleosbook / littleosbook
  Source for the little book about OS development
  ☆2,552Updated 2 years ago
• SilverRainZ / OS67
  An unix-like toy kernel
  ☆739Updated 4 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…
  ☆877Updated 3 years ago
• sergev / 4.4BSD-Lite2
  4.4BSD Lite Release 2: last Unix operating system from Berkeley
  ☆395Updated 7 years ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆445Updated last year