Neptune OS: A Windows NT-like operating system built on the seL4 microkernel
☆481Oct 25, 2026Updated this week
Alternatives and similar repositories for NeptuneOS
Users that are interested in NeptuneOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An OS/2 "emulator" for Linux.☆52Feb 23, 2024Updated 2 years ago
- osFree - open source Operating System/2 clone, usermode parts.☆151Updated this week
- A free Windows-compatible Operating System☆62Oct 19, 2026Updated last week
- Quibble - the custom Windows bootloader☆2,462Jun 23, 2024Updated 2 years ago
- Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)☆1,249May 20, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Open-source DirectX Graphics Infrastructure reimplementation☆17May 20, 2025Updated last year
- Mesa3D port for Windows 9x☆91Oct 3, 2026Updated 3 weeks ago
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,994Updated this week
- Get PC BIOS back on UEFI only systems.☆968Oct 16, 2026Updated 2 weeks ago
- ExectOS Operating System☆142Sep 24, 2026Updated last month
- Just Monika☆104May 16, 2026Updated 5 months ago
- PowerPC Windows NT ported to Power Macintosh systems☆700Dec 21, 2024Updated last year
- Windows Mobile Emulator source code that MS released. Modified to work with VS2022.☆16Mar 11, 2023Updated 3 years ago
- Rust support for seL4 userspace☆220Oct 1, 2026Updated 3 weeks 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.
- windows emulator☆715May 11, 2026Updated 5 months ago
- Database for the ReactOS Application Manager (rapps)☆118Oct 1, 2026Updated 3 weeks ago
- Microkit - A simple operating system framework for the seL4 microkernel☆212Updated this week
- A portable microkernel-based multiserver operating system written from scratch.☆1,602Oct 21, 2026Updated last week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 3 years ago
- Run Microsoft Windows NTVDM (DOS) on 64bit Editions☆959Oct 15, 2026Updated 2 weeks ago
- A Tiny Linux-Compatible Kernel☆3,136Oct 12, 2026Updated 2 weeks ago
- QEMU with Windows ARM hacks. woa-kvm: ARM64 Build 18348- on KVM, winrt: Windows RT 8.1 on QEMU☆21Jun 1, 2022Updated 4 years ago
- A free Windows-compatible Operating System☆797Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- PumpkinOS is a re-implementation of PalmOS.☆825Updated this week
- FreeDOS plus-plus, 64bit DOS☆246Oct 21, 2026Updated last week
- All-new engine of the @GreenteaOS☆254Nov 23, 2025Updated 11 months ago
- NT-like POSIX-compatible operating system☆180Updated this week
- 386MAX Memory Manager for DOS☆140Jul 5, 2022Updated 4 years ago
- Run Linux programs on DOS☆1,590Jul 14, 2022Updated 4 years ago
- Embeddable Linux Kernel Subset - Linux for 8086☆1,720Oct 23, 2026Updated last week
- A shell for Windows Native Mode☆270Feb 3, 2025Updated last year
- An in-process implementation of Xlib layered on top of SDL2/SDL3☆127Aug 31, 2026Updated last month
- 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.
- The seL4 microkernel☆5,841Updated this week
- A runtime environment for Haiku applications.☆77Oct 11, 2026Updated 2 weeks ago
- A virtual machine monitor for the seL4 microkernel☆82Oct 20, 2026Updated last week
- The NTATV Project: Bringing Windows NT to the original Apple TV (Repo for issues & releases only; see link below for docs)☆209Apr 18, 2026Updated 6 months ago
- x64 hobby os☆13Sep 23, 2026Updated last month
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24May 28, 2026Updated 5 months ago
- Run DOS programs under linux:☆745Updated this week