Hobby operating system, bootloader, kernel, drivers, C library
Linux Kernel Manager and Activity Monitor
A free (libre) open source, mobile OS for Ethereum
AO RTOS is small real time OS based on Active Object concurrency model
Real-Time Event Frameworks based on active objects & state machines
Gobudgie is an operating system which is compatible to Android.
W-Bus communication library
replicated-kernel Linux-based OS
Smart home thermostat with touch screen and home automation
Linux-Mint based Distro made for who works in the Digital Humanities.
Design and Implementation of the Singhal token based mutual exclusion