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
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• BrownieOS / xOS
  A repo of xOS the dead os project from @omarrx024
  ☆15Updated 7 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• neozeed / Mach86
  Mach kernel from 1986
  ☆14Updated 5 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆22Updated 5 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• repk / sporc
  Sparc emulator
  ☆10Updated 6 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
• OS2World / SYSTEM-OS-OSFree
  OSFree source code. OS/2 clone. Reposity copy.
  ☆17Updated 10 years ago
• rswier / picox
  A minimal X11/Xlib client library
  ☆19Updated 6 years ago
• mras0 / sasm
  Self-hosting Real Mode x86 Assembler
  ☆33Updated 6 months ago
• AtieP / LakeBIOS
  Legacy BIOS firmware for emulators
  ☆19Updated 3 years ago
• collinsmichael / spartan
  Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind
  ☆12Updated 7 years ago
• mpu / re
  Minimal and fast regular expression library for C.
  ☆18Updated 11 years ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/osdev/nyu-efi
  ☆31Updated last month
• MrBad / cOSiris
  Small Unix like operating system written in C, for i386 (PC) CPU
  ☆11Updated 7 years ago
• cjsmeele / stoomboot
  An x86 real mode multiboot-ish ELF bootloader
  ☆26Updated 6 years ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆27Updated 14 years ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆59Updated 6 years ago
• rheoli / pcc
  Portable C Compiler
  ☆12Updated 12 years ago
• olsner / os
  x86-64 assembly µkernel
  ☆17Updated 4 years ago
• mikaku / FiwixOS
  FiwixOS is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel.
  ☆16Updated last week
• davidgiven / glueesp
  A port of the Geoworks Glue DOS linker.
  ☆10Updated last year
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• rswier / pdp11-B
  A project to recreate the B compiler for the PDP-11 as authentically as possible
  ☆31Updated 6 years ago
• sergev / bcpl-compiler
  B language compiler
  ☆32Updated last month
• KolibriOS / umka
  User-Mode KolibriOS developer tools
  ☆22Updated 3 months ago