Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
☆16Jan 4, 2026Updated 9 months ago
Alternatives and similar repositories for lambda-kern
Users that are interested in lambda-kern are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- How to create an OS from scratch☆17Apr 22, 2018Updated 8 years ago
- a 64 bit x86 operating system☆17Feb 21, 2021Updated 5 years ago
- A lightweight, multi-tasking graphical operating system, JUST FOR FUN!☆13Oct 8, 2018Updated 8 years ago
- Small Unix like operating system written in C, for i386 (PC) CPU☆11Apr 3, 2018Updated 8 years ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The CybOS operating system☆12Jul 9, 2018Updated 8 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Aug 29, 2017Updated 9 years ago
- An AArch64 hobbyist OS for the Raspberry Pi 3 B+☆15Jan 28, 2022Updated 4 years ago
- Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.☆19Mar 13, 2020Updated 6 years ago
- The Puppy Operating System☆26Feb 18, 2019Updated 7 years ago
- A Basic x86 Operating System/Kernel☆52Jan 26, 2019Updated 7 years ago
- 🔱 A WIP SMP-aware micro-kernel☆11Jul 29, 2025Updated last year
- colorForth computing environment for amd64 and PowerPC Macs.☆25Mar 16, 2020Updated 6 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆32May 24, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Moved to:☆12Jul 9, 2019Updated 7 years ago
- Simple hobby POSIX-compatible OS for i8086+☆17Dec 14, 2022Updated 3 years ago
- A simple operating system written in C and Assembly☆18May 27, 2019Updated 7 years ago
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 4 years ago
- A Unix/Linux like operating system☆21Dec 10, 2019Updated 6 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 7 years ago
- library OS, based on xv6, for running go programs on (virtual) bare metal☆13Jul 12, 2011Updated 15 years ago
- a 64 bit x86 operating system☆30Mar 19, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A complete (FP optional), portable implementation of stdio including printf, scanf, etc. No malloc() or static buffers.☆21Apr 16, 2025Updated last year
- Academic Operating System (targeting x86-64, multiprocessor)☆13Aug 30, 2015Updated 11 years ago
- A new hobby operating system made with velocity in mind :D☆23Feb 12, 2025Updated last year
- 💻⚙ Xelix is a hobby Unix-like kernel with GNU userland for x86☆66Nov 9, 2025Updated 11 months ago
- Experimental Stand-alone 32-bit Kernel with Bootloader written in AT&T Assembly and Freestanding C☆32Jan 28, 2022Updated 4 years ago
- 32 bit singletasking C kernel☆64May 17, 2022Updated 4 years ago
- An emulator for the hardware that ran the Multics operating system☆18Sep 6, 2020Updated 6 years ago
- Migrated to Codeberg☆11Aug 26, 2023Updated 3 years ago
- BL602 / BL604 Simulator in WebAssembly☆13Dec 8, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An embedded OS for Apple M1 Pro chipsets☆18Sep 24, 2023Updated 3 years ago
- Kiwi operating system☆17Jan 12, 2025Updated last year
- My first attempt at making a x86-64 OS which boots on UEFI.☆16Mar 5, 2024Updated 2 years ago
- Floppy Disk Operating System☆16Sep 29, 2026Updated last month
- A modern bootloader with no legacy components☆20Nov 20, 2023Updated 2 years ago
- The SunOS 3.4 source code. An very rare find!☆22Jan 4, 2023Updated 3 years ago
- x86-64 assembly µkernel☆15Oct 25, 2020Updated 6 years ago