Neptune OS: A Windows NT personality for the seL4 microkernel
☆427Mar 15, 2026Updated last week
Alternatives and similar repositories for NeptuneOS
Users that are interested in NeptuneOS are comparing it to the libraries listed below
Sorting:
- An OS/2 "emulator" for Linux.☆52Feb 23, 2024Updated 2 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24Aug 11, 2024Updated last year
- Quibble - the custom Windows bootloader☆2,392Jun 23, 2024Updated last year
- Mesa3D port for Windows 9x☆83Aug 16, 2025Updated 7 months ago
- osFree - open source Operating System/2 clone, usermode parts.☆135Mar 6, 2026Updated 2 weeks ago
- A disassembly of Windows/386 2.03☆22Nov 15, 2025Updated 4 months ago
- Genode OS Framework☆1,226Updated this week
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,861Updated this week
- A free Windows-compatible Operating System☆54Mar 15, 2026Updated last week
- PowerPC Windows NT ported to Power Macintosh systems☆684Dec 21, 2024Updated last year
- ExectOS Operating System☆129Updated this week
- Open-source DirectX Graphics Infrastructure reimplementation☆17May 20, 2025Updated 10 months ago
- (ABANDONED) Itanium (IA64) Emulator written from scratch in Go built to run IA64 Windows Executables (and potentially more!)☆54Jan 18, 2023Updated 3 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆176Updated this week
- windows emulator☆681Jan 16, 2026Updated 2 months ago
- Component Architecture test suite and example apps.☆34Updated this week
- 386MAX Memory Manager for DOS☆135Jul 5, 2022Updated 3 years ago
- An experimental dotnet based kernel☆39Nov 8, 2025Updated 4 months ago
- WineD3D port for Windows 9x☆54Jun 30, 2025Updated 8 months ago
- A Tiny Linux-Compatible Kernel☆3,065Mar 2, 2026Updated 2 weeks ago
- PumpkinOS is a re-implementation of PalmOS.☆795Feb 10, 2026Updated last month
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Feb 13, 2026Updated last month
- Run DOS programs under linux:☆691Updated this week
- Rust support for seL4 userspace☆192Updated this week
- Run Microsoft Windows NTVDM (DOS) on 64bit Editions☆915Aug 24, 2025Updated 6 months ago
- An attempt of making UWP apps work using a custom shell.☆24Sep 10, 2024Updated last year
- a small kernel☆20Apr 15, 2023Updated 2 years ago
- A virtual machine monitor for the seL4 microkernel☆53Updated this week
- Library and tools to access the Resilient File System (ReFS)☆191Dec 5, 2025Updated 3 months ago
- progman.exe^H^H^H^H☆579Nov 18, 2024Updated last year
- 16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows☆3,190Updated this week
- Run Linux programs on DOS☆37Sep 30, 2023Updated 2 years ago
- Embeddable Linux Kernel Subset - Linux for 8086☆1,580Updated this week
- Implementation of the VMem Resource Allocator☆17Mar 3, 2023Updated 3 years ago
- NeXTSTEP-like desktop environment for Linux☆2,042Mar 5, 2026Updated 2 weeks ago
- Use https://github.com/elliotnunn/tbxi instead!☆31Jun 2, 2023Updated 2 years 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,538Updated this week
- ☆1,148Jun 16, 2025Updated 9 months ago