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.☆24Mar 16, 2020Updated 6 years ago
- Small Unix like operating system written in C, for i386 (PC) CPU☆11Apr 3, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Updated this week
- Distributed Operating System on Exokernel (Unikernel) Concepts☆24Oct 7, 2023Updated 2 years ago
- Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind☆16Apr 28, 2018Updated 8 years ago
- my toy 6502 emulator☆16Jan 4, 2011Updated 15 years ago
- The CybOS operating system☆12Jul 9, 2018Updated 8 years ago
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- HellfireOS Realtime Operating System☆23Nov 25, 2020Updated 5 years ago
- The Puppy Operating System☆25Feb 18, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 🔱 A WIP SMP-aware micro-kernel☆11Jul 29, 2025Updated last year
- A Basic x86 Operating System/Kernel☆52Jan 26, 2019Updated 7 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- 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 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Metta OS☆72Nov 10, 2024Updated last year
- 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
- Academic Operating System (targeting x86-64, multiprocessor)☆13Aug 30, 2015Updated 10 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
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 32 bit singletasking C kernel☆64May 17, 2022Updated 4 years ago
- Migrated to Codeberg☆11Aug 26, 2023Updated 2 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 last week
- An emulator for the hardware that ran the Multics operating system☆18Sep 6, 2020Updated 5 years ago