Real-Time Event Frameworks based on active objects & state machines
Software development for 4Mb portable, using Z80 CPU and AA batteries
The classic RPL programming language reimplemented and reimagined.
Easy, yet powerful, GNU/Linux distribution
Q1-kernel a hybrid kernel
nocsak's open source solutions
GeckoLinux is a set of live Linux spins built from openSUSE
Market leading real time kernel for 40+ microcontroller architectures
Oberon V4 for Linux and sources for different Oberon V4 implementation
GobLin: The GNU/Linux Operating System for Governments
Mirror of: https://github.com/osdldbt/
Debian Trixie with the Mate desktop environment
Memory manager for Free Pascal
Jupyter kernel for Coq
Alternative operating system for x86 computers
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