Real-Time Event Frameworks based on active objects & state machines
The classic RPL programming language reimplemented and reimagined.
Software development for 4Mb portable, using Z80 CPU and AA batteries
Get latest Edition here: http://www.openqrm-enterprise.com.
Jupyter kernel for Coq
Thread Scheduler with custom asynchronous messaging in VC++
Linux For Christians
Vampire OS is the alternative to Windows and macOS
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.
Shastra OS is a Arch Linux based Operating System.
The smallest and the most powerful operating system.
Latest Android builds from PixelBoot.
Casper-fs is a Custom LKM generator to protect and hide files.
an MS-DOS compatible OS, written in Pascal and i8086 assembly
An android custom ROM based on AOSP,which provides a stock experience
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
humbly smart Operating System - Debian derivative
Tiny Kernel is a work in progress Operating System kernel.
A tool for automating the installation of Windows OS
OS bootable from Linux,Windows and others partitions as auxiliary OS
The first OpenSolaris based distro (since June 2005)
Linux distribution made specifically to run Docker containers