The source for the Linux kernel used in Windows Subsystem for Linux 2
Hobby operating system, bootloader, kernel, drivers, C library
A Scala kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
Jupyter kernel for Coq
Real-Time Embedded Frameworks based on active objects & state machines
Vampire OS is the alternative to Windows and macOS
Thread Scheduler with custom asynchronous messaging in VC++
A microkernel-based multiserver operating system written from scratch.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
Debian Bullseye with the Mate desktop environment
The classic RPL programming language reimplemented and reimagined.
OS bootable from Linux,Windows and others partitions as auxiliary OS
Open-source RTOS and Embedded Systems Toolkit for C++ and C
PRTOS is a simple, compact preemptive RTOS for embedded systems
ext2/3/4 library for microcontrollers
Mulithreading Arduno library
Run Linux on Windows or other OSes, natively.
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
Small real time operating system for AVR and ARM microcontrollers