Hobby operating system, bootloader, kernel, drivers, C library
Linux Kernel Manager and Activity Monitor
Real-Time Event Frameworks based on active objects & state machines
AO RTOS is small real time OS based on Active Object concurrency model
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
A Python library to create and deploy cross-platform native context
A simple, easy-to-use, flatpak centric Linux distribution for everyone