Alternatives and similar repositories for minix

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

• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,496Updated last year
• gdevic / minix1
  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
  ☆380Updated 8 years ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,288Updated last week
• NetBSD / src
  Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
  ☆868Updated this week
• lsahn-org / unix-v6
  UNIX 6th Edition Kernel Source Code
  ☆491Updated 6 years ago
• mit-pdos / xv6-public
  xv6 OS
  ☆9,201Updated last year
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,529Updated last week
• qrush / unix
  Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.
  ☆918Updated 4 years ago
• netwide-assembler / nasm
  A cross-platform x86 assembler with an Intel-like syntax
  ☆3,081Updated last month
• littlekernel / lk
  LK embedded kernel
  ☆3,580Updated last week
• lattera / glibc
  GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.
  ☆1,964Updated 7 years ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆860Updated this week
• wichtounet / thor-os
  Simple operating system in C++, written from scratch
  ☆1,714Updated last year
• coreos / grub
  GRand Unified Bootloader http://www.gnu.org/software/grub/grub.html
  ☆401Updated 5 years ago
• minix3 / minix
  Redirection to the real github page only.
  ☆108Updated 9 years ago
• bminor / glibc
  Unofficial mirror of sourceware glibc repository. Updated daily.
  ☆1,832Updated 2 weeks ago
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆899Updated 3 weeks ago
• freebsd / freebsd-src
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆8,794Updated this week
• AlgorithMan-de / wyoos
  Source codes for the "Write your own Operating System" video-series on YouTube
  ☆786Updated 2 years ago
• rui314 / 8cc
  A Small C Compiler
  ☆6,346Updated last year
• xinu-os / xinu
  Repository for Xinu source code
  ☆459Updated last year
• mit-pdos / xv6-riscv-book
  Text describing xv6 on RISC-V
  ☆833Updated 5 months ago
• 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,655Updated this week
• TinyCC / tinycc
  Unofficial mirror of mob development branch
  ☆2,709Updated 2 weeks ago
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,607Updated 2 months ago
• westes / flex
  The Fast Lexical Analyzer - scanner generator for lexing in C and C++
  ☆3,961Updated 5 months ago
• haiku / haiku
  The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).
  ☆2,151Updated this week
• sergev / 4.4BSD-Lite2
  4.4BSD Lite Release 2: last Unix operating system from Berkeley
  ☆407Updated 7 years ago
• yuan-xy / Linux-0.11
  The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.
  ☆932Updated 2 years ago
• FDOS / kernel
  FreeDOS kernel - implements the core MS-DOS/PC-DOS (R) compatible operating system. It is derived from Pat Villani's DOS-C kernel and rel…
  ☆974Updated last week