Alternatives and similar repositories for minix:

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

• mit-pdos / xv6-public
  xv6 OS
  ☆8,055Updated 5 months ago
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,058Updated 3 months ago
• gdevic / minix1
  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
  ☆345Updated 7 years ago
• mit-pdos / xv6-riscv
  Xv6 for RISC-V
  ☆7,465Updated 4 months ago
• seL4 / seL4
  The seL4 microkernel
  ☆4,807Updated last week
• cirosantilli / x86-bare-metal-examples
  Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland…
  ☆4,882Updated 2 years ago
• lattera / glibc
  GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.
  ☆1,882Updated 6 years ago
• netwide-assembler / nasm
  A cross-platform x86 assembler with an Intel-like syntax
  ☆2,544Updated 2 months ago
• rswier / c4
  C in four functions
  ☆9,920Updated last year
• rui314 / 8cc
  A Small C Compiler
  ☆6,191Updated 8 months ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,397Updated this week
• littlekernel / lk
  LK embedded kernel
  ☆3,265Updated this week
• minix3 / minix
  Redirection to the real github page only.
  ☆100Updated 7 years ago
• mit-pdos / xv6-riscv-book
  Text describing xv6 on RISC-V
  ☆688Updated 4 months ago
• littleosbook / littleosbook
  Source for the little book about OS development
  ☆2,256Updated last year
• freebsd / freebsd-src
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆8,067Updated this 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,319Updated this week
• martinezjavier / ldd3
  Linux Device Drivers 3 examples updated to work in recent kernels
  ☆2,412Updated 3 months ago
• 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…
  ☆10,746Updated this week
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆817Updated 8 months ago
• TinyCC / tinycc
  Unofficial mirror of mob development branch
  ☆2,126Updated last week
• qrush / unix
  Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.
  ☆852Updated 3 years ago
• coreutils / coreutils
  upstream mirror
  ☆4,395Updated this week
• zavg / linux-0.01
  Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
  ☆1,268Updated 10 months ago
• mackyle / sqlite
  Unofficial git mirror of SQLite sources (see link for build instructions)
  ☆1,968Updated this week
• antirez / sds
  Simple Dynamic Strings library for C
  ☆4,972Updated 8 months ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,604Updated this week
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆657Updated this week
• 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
• illumos / illumos-gate
  An open-source Unix operating system
  ☆1,684Updated this week