Stichting-MINIX-Research-Foundation / minix

Related projects ⓘ

Alternatives and complementary repositories for minix

• gdevic / minix1
  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
  ☆341Updated 7 years ago
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,025Updated last month
• mit-pdos / xv6-public
  xv6 OS
  ☆7,935Updated 3 months ago
• littlekernel / lk
  LK embedded kernel
  ☆3,197Updated this week
• qrush / unix
  Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.
  ☆845Updated 3 years ago
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,125Updated 8 months ago
• freebsd / freebsd-src
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆7,952Updated this week
• orangeduck / Cello
  Higher level programming in C
  ☆6,833Updated last year
• illumos / illumos-gate
  An open-source Unix operating system
  ☆1,650Updated this week
• NetBSD / src
  Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
  ☆704Updated this week
• TinyCC / tinycc
  Unofficial mirror of mob development branch
  ☆2,047Updated this week
• rui314 / 8cc
  A Small C Compiler
  ☆6,161Updated 6 months ago
• antirez / sds
  Simple Dynamic Strings library for C
  ☆4,939Updated 6 months ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,372Updated last week
• lsahn-gh / unix-v6
  UNIX 6th Edition Kernel Source Code
  ☆377Updated 5 years ago
• seL4 / seL4
  The seL4 microkernel
  ☆4,749Updated this week
• zavg / linux-0.01
  Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
  ☆1,239Updated 9 months ago
• bminor / glibc
  Unofficial mirror of sourceware glibc repository. Updated daily.
  ☆1,414Updated this week
• mit-pdos / xv6-riscv-book
  Text describing xv6 on RISC-V
  ☆668Updated 2 months ago
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆2,377Updated this week
• coreos / grub
  GRand Unified Bootloader http://www.gnu.org/software/grub/grub.html
  ☆361Updated 4 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆249Updated 4 years ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,590Updated this week
• lattera / glibc
  GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.
  ☆1,859Updated 6 years ago
• limine-bootloader / limine
  Modern, advanced, portable, multiprotocol bootloader and boot manager.
  ☆1,866Updated this week
• martinezjavier / ldd3
  Linux Device Drivers 3 examples updated to work in recent kernels
  ☆2,385Updated last month
• mit-pdos / xv6-riscv
  Xv6 for RISC-V
  ☆7,216Updated 2 months ago
• mackyle / sqlite
  Unofficial git mirror of SQLite sources (see link for build instructions)
  ☆1,972Updated this week
• bminor / musl
  Unofficial mirror of etalabs musl repository. Updated daily.
  ☆522Updated last month
• minix3 / minix
  Redirection to the real github page only.
  ☆101Updated 7 years ago