The classic RPL programming language reimplemented and reimagined.
Software development for 4Mb portable, using Z80 CPU and AA batteries
Jupyter kernel for Coq
Alternative operating system for x86 computers
Thread Scheduler with custom asynchronous messaging in VC++
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.
C-BIOS is an open source BIOS for MSX computers.
Latest Android builds from PixelBoot.
OS-9/6809 compatible operating system for Tandy CoCo and Dragon
an MS-DOS compatible OS, written in Pascal and i8086 assembly
Casper-fs is a Custom LKM generator to protect and hide files.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
Tiny Kernel is a work in progress Operating System kernel.
Indipendent distro uses inary package system. Sulin is roolling donkey
A tool for automating the installation of Windows OS
Simplest kernel for cooperative multithreading
An little operating system