Neptune OS: A Windows NT personality for the seL4 microkernel
☆434Apr 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.☆51Feb 23, 2024Updated 2 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24Aug 11, 2024Updated last year
- Quibble - the custom Windows bootloader☆2,404Jun 23, 2024Updated last year
- Mesa3D port for Windows 9x☆83Aug 16, 2025Updated 8 months ago
- osFree - open source Operating System/2 clone, usermode parts.☆137Apr 16, 2026Updated 2 weeks 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.
- A disassembly of Windows/386 2.03☆24Nov 15, 2025Updated 5 months ago
- Genode OS Framework☆1,239Updated this week
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,881Updated this week
- A free Windows-compatible Operating System☆56Apr 23, 2026Updated last week
- PowerPC Windows NT ported to Power Macintosh systems☆688Dec 21, 2024Updated last year
- Open-source DirectX Graphics Infrastructure reimplementation☆17May 20, 2025Updated 11 months ago
- ExectOS Operating System☆131Updated this week
- (ABANDONED) Itanium (IA64) Emulator written from scratch in Go built to run IA64 Windows Executables (and potentially more!)☆55Jan 18, 2023Updated 3 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆181Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- windows emulator☆692Jan 16, 2026Updated 3 months ago
- Component Architecture test suite and example apps.☆35Mar 31, 2026Updated last month
- 386MAX Memory Manager for DOS☆137Jul 5, 2022Updated 3 years ago
- An experimental dotnet based kernel☆40Nov 8, 2025Updated 5 months ago
- WineD3D port for Windows 9x☆54Jun 30, 2025Updated 10 months ago
- A Tiny Linux-Compatible Kernel☆3,085Updated this week
- PumpkinOS is a re-implementation of PalmOS.☆796Apr 5, 2026Updated 3 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Apr 8, 2026Updated 3 weeks ago
- Run DOS programs under linux:☆699Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust support for seL4 userspace☆198Apr 20, 2026Updated last week
- Run Microsoft Windows NTVDM (DOS) on 64bit Editions☆929Aug 24, 2025Updated 8 months ago
- An attempt of making UWP apps work using a custom shell.☆24Sep 10, 2024Updated last year
- A virtual machine monitor for the seL4 microkernel☆62Apr 23, 2026Updated last week
- a small kernel☆20Apr 15, 2023Updated 3 years ago
- progman.exe^H^H^H^H☆585Nov 18, 2024Updated last year
- Library and tools to access the Resilient File System (ReFS)☆195Dec 5, 2025Updated 4 months ago
- 16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows☆3,262Mar 20, 2026Updated last month
- Run Linux programs on DOS☆37Sep 30, 2023Updated 2 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.
- Embeddable Linux Kernel Subset - Linux for 8086☆1,604Updated this week
- Implementation of the VMem Resource Allocator☆17Mar 3, 2023Updated 3 years ago
- Use https://github.com/elliotnunn/tbxi instead!☆31Jun 2, 2023Updated 2 years ago
- NeXTSTEP-like desktop environment for Linux☆2,056Apr 14, 2026Updated 2 weeks ago
- Windows Mobile Emulator source code that MS released. Modified to work with VS2022.☆16Mar 11, 2023Updated 3 years ago
- A portable microkernel-based multiserver operating system written from scratch.☆1,550Apr 24, 2026Updated last week
- ☆1,164Jun 16, 2025Updated 10 months ago