Stichting-MINIX-Research-Foundation / minixLinks
Official MINIX sources - Automatically replicated from gerrit.minix3.org
☆3,299Updated last year
Alternatives and similar repositories for minix
Users that are interested in minix are comparing it to the libraries listed below
Sorting:
- Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.☆369Updated 7 years ago
- xv6 OS☆8,845Updated last year
- The lcc retargetable ANSI C compiler☆2,180Updated last year
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,505Updated this week
- Historically first (actually 0.01) release of linux kernel made by Linus Torvalds☆1,409Updated last year
- The seL4 microkernel☆5,086Updated 3 weeks ago
- Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.☆905Updated 4 years ago
- GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.☆1,957Updated 7 years ago
- Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org☆826Updated this week
- UNIX 6th Edition Kernel Source Code☆456Updated 6 years ago
- LK embedded kernel☆3,437Updated this week
- A portable microkernel-based multiserver operating system written from scratch.☆1,508Updated 2 weeks ago
- Repository for Xinu source code☆445Updated last year
- A Small C Compiler☆6,308Updated last year
- Xv6 for RISC-V☆8,673Updated last week
- An unix-like toy kernel☆738Updated 4 years ago
- A very minimal, resource efficient exo-kernel☆783Updated this week
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…☆12,035Updated last week
- Unofficial mirror of sourceware glibc repository. Updated daily.☆1,734Updated this week
- Redirection to the real github page only.☆108Updated 8 years ago
- An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles…☆1,775Updated last week
- A simple OS kernel for research, teaching, and fun.☆871Updated last year
- Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.☆3,553Updated this week
- Text describing xv6 on RISC-V☆777Updated last month
- A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …☆6,501Updated last month
- Read-only mirror of https://gitlab.gnome.org/GNOME/glib☆1,680Updated this week
- Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.☆2,466Updated this week
- Simple operating system in C++, written from scratch☆1,713Updated 10 months ago
- A cross-platform x86 assembler with an Intel-like syntax☆2,927Updated last week
- The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.☆903Updated last year