Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
☆16Jan 4, 2026Updated 7 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 7 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆25Mar 16, 2020Updated 6 years ago
- Small Unix like operating system written in C, for i386 (PC) CPU☆11Apr 3, 2018Updated 8 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.
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 9 years ago
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Aug 8, 2026Updated 3 weeks ago
- Distributed Operating System on Exokernel (Unikernel) Concepts☆24Oct 7, 2023Updated 2 years ago
- my toy 6502 emulator☆16Jan 4, 2011Updated 15 years ago
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- HellfireOS Realtime Operating System☆23Nov 25, 2020Updated 5 years ago
- 🔱 A WIP SMP-aware micro-kernel☆11Jul 29, 2025Updated last year
- Support UEFI load☆11Oct 1, 2015Updated 10 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Unix/Linux like operating system☆21Dec 10, 2019Updated 6 years ago
- ☆12Jun 4, 2018Updated 8 years ago
- Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.☆19Mar 13, 2020Updated 6 years ago
- library OS, based on xv6, for running go programs on (virtual) bare metal☆13Jul 12, 2011Updated 15 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 7 years ago
- 💻⚙ Xelix is a hobby Unix-like kernel with GNU userland for x86☆66Nov 9, 2025Updated 9 months ago
- An AArch64 hobbyist OS for the Raspberry Pi 3 B+☆15Jan 28, 2022Updated 4 years ago
- Metta OS☆72Nov 10, 2024Updated last year
- Simple hobby POSIX-compatible OS for i8086+☆17Dec 14, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple operating system written in C and Assembly☆18May 27, 2019Updated 7 years ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Aug 30, 2015Updated 11 years ago
- Koi Operating System, Senior Mastery Capstone Project 2020☆25May 9, 2020Updated 6 years ago
- a 64 bit x86 operating system☆30Mar 19, 2020Updated 6 years ago
- Utopia is an UNIX-like operating system built around a microkernel, with a focus on code clarity☆13Dec 8, 2015Updated 10 years ago
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 3 years ago
- A new hobby operating system made with velocity in mind :D☆23Feb 12, 2025Updated last year
- Moved to:☆12Jul 9, 2019Updated 7 years ago
- 32 bit singletasking C kernel☆64May 17, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Migrated to Codeberg☆11Aug 26, 2023Updated 3 years ago
- An embedded OS for Apple M1 Pro chipsets☆18Sep 24, 2023Updated 2 years ago
- Simple, lightweight and well documented 32bit operating system. Created to be the Golden Mean between MikeOS and Linux!☆18Sep 14, 2020Updated 5 years ago
- Experimental Stand-alone 32-bit Kernel with Bootloader written in AT&T Assembly and Freestanding C☆32Jan 28, 2022Updated 4 years ago
- Floppy Disk Operating System☆16Aug 2, 2026Updated 3 weeks ago
- An emulator for the hardware that ran the Multics operating system☆18Sep 6, 2020Updated 5 years ago
- Operating System from scratch☆138Jun 10, 2025Updated last year