| reactos/reactos |
13,685 |
|
0 |
0 |
about 2 years ago |
0 |
|
181 |
gpl-2.0 |
C |
| A free Windows-compatible Operating System |
| tock/tock |
4,778 |
|
9 |
14 |
about 2 years ago |
11 |
September 29, 2023 |
142 |
other |
Rust |
| A secure embedded operating system for microcontrollers |
| seL4/seL4 |
4,435 |
|
0 |
0 |
about 2 years ago |
0 |
|
181 |
other |
C |
| The seL4 microkernel |
| jwise/HoRNDIS |
2,696 |
|
0 |
0 |
about 3 years ago |
0 |
|
90 |
other |
C++ |
| Android USB tethering driver for Mac OS X |
| minoca/os |
2,557 |
|
0 |
0 |
over 4 years ago |
0 |
|
21 |
gpl-3.0 |
C |
| Minoca operating system |
| ccMSC/ckb |
1,301 |
|
0 |
0 |
about 7 years ago |
0 |
|
249 |
gpl-2.0 |
C++ |
| RGB Driver for Linux and OS X |
| HelenOS/helenos |
1,265 |
|
0 |
0 |
about 2 years ago |
0 |
|
5 |
|
C |
| A portable microkernel-based multiserver operating system written from scratch. |
| amaneureka/AtomOS |
1,220 |
|
0 |
0 |
about 9 years ago |
0 |
|
33 |
bsd-3-clause |
C# |
| A multitasking monolithic Kernel based x86 targeting Operating System written in C# from scratch aiming for high-level implementation of drivers in managed environment. |
| analogdevicesinc/no-OS |
816 |
|
0 |
0 |
about 2 years ago |
0 |
|
10 |
other |
C |
| Software drivers in C for systems without an operating system |
| goalque/automate-eGPU |
605 |
|
0 |
0 |
about 8 years ago |
0 |
|
28 |
other |
Shell |
