Alternatives and similar repositories for lambda-kern

Users that are interested in lambda-kern are comparing it to the libraries listed below

• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• BrownieOS / xOS
  A repo of xOS the dead os project from @omarrx024
  ☆15Updated 7 years ago
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• Xv64 / OS
  A UNIX-like OS targeting AMD64 compatible processors
  ☆16Updated 3 years ago
• OS2World / SYSTEM-OS-OSFree
  OSFree source code. OS/2 clone. Reposity copy.
  ☆17Updated 10 years ago
• mras0 / sasm
  Self-hosting Real Mode x86 Assembler
  ☆33Updated 8 months ago
• MrBad / cOSiris
  Small Unix like operating system written in C, for i386 (PC) CPU
  ☆11Updated 7 years ago
• bubach / Simple-C
  newest version of small C that i know about, compiles to 32-bit fasm/nasm syntax assembly
  ☆13Updated 10 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• collinsmichael / spartan
  Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind
  ☆13Updated 7 years ago
• brainflux / klibc
  minimal libc
  ☆19Updated 13 years ago
• bSchnepp / Feral
  A 64-bit operating system kernel for PCs
  ☆9Updated 4 years ago
• wisepythagoras / dart
  A Unix/Linux like operating system
  ☆20Updated 5 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• dex-os / DexOS
  The OS and related projects/examples
  ☆33Updated 8 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆22Updated 5 years ago
• rswier / picox
  A minimal X11/Xlib client library
  ☆22Updated 6 years ago
• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆23Updated 10 years ago
• AtieP / LakeBIOS
  Legacy BIOS firmware for emulators
  ☆19Updated 3 years ago
• dmatlack / moridin
  a simple operating system
  ☆10Updated 10 years ago
• prool / proolix
  Simple hobby POSIX-compatible OS for i8086+
  ☆17Updated 2 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆60Updated 6 years ago
• olsner / os
  x86-64 assembly µkernel
  ☆17Updated 4 years ago
• KolibriOS / umka
  User-Mode KolibriOS developer tools
  ☆22Updated 5 months ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆28Updated 15 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 6 years ago
• Baron-von-Riedesel / jwlink
  jwlink is a fork of the open watcom linker wlink. May create 16-, 32- and 64-bit binaries.
  ☆23Updated last month
• blanham / PDCLib
  Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)
  ☆15Updated 11 years ago
• mfld-fr / sys86
  Intel 80186 / 80188 kernel for embedded development
  ☆12Updated 5 months ago
• neozeed / Mach86
  Mach kernel from 1986
  ☆16Updated 5 years ago