A BSD-based OS project that aims to provide an experience with MacOS
Jupyter magics and kernels for working with remote Spark clusters
Julia kernel for Jupyter
A Scala kernel for Jupyter
IPython Kernel for Jupyter
Jupyter kernel for Coq
Real-Time Event Frameworks based on active objects & state machines
Vampire OS is the alternative to Windows and macOS
A microkernel-based multiserver operating system written from scratch.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
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
Mulithreading Arduno library
ext2/3/4 library for microcontrollers
Efficient GPU kernels for block-sparse matrix multiplication
Run Linux on Windows or other OSes, natively.
Small real time operating system for AVR and ARM microcontrollers
Custom firmware and IDE for the VEX Cortex Microcontroller
Mayax is a 32-bit hobby OS with windows style GUI.