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
GobLin: The GNU/Linux Operating System for Governments
Oberon V4 for Linux and sources for different Oberon V4 implementation
Mirror of: https://github.com/osdldbt/
Debian Trixie with the Mate desktop environment
Jupyter kernel for Coq
Alternative operating system for x86 computers
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.
C-BIOS is an open source BIOS for MSX computers.
Just bring Linux for a better world
an MS-DOS compatible OS, written in Pascal and i8086 assembly
OS-9/6809 compatible operating system for Tandy CoCo and Dragon
Casper-fs is a Custom LKM generator to protect and hide files.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes