Another Real Time Kernel for Arduino
GNU/Linux OS finally based on Debian Sid. It runs different DEs.
VDFS - Vertically Deliberate improved performance File System
Debox Linux is a live distro based on Debian distribution and Openbox
Kernel code navigation
Configuration tools for the Linux NetLabel subsystem
Machine learning with Gaussian kernels.
Kestrel is an experimental kernel runs on i386
Portable Framework for the Parallel Execution of Short Read Aligners
EPRD is an eventually persistant ramdisk or diskcache
A KDE Control Module for configuring the GRUB2 bootloader.
A Hobby OS in C and ASM.
My changes to qemu for legacy free GPU passthrough
A collection of MATLAB tools for PIV, PTV, particle sizing, and more.
Small startup script that notifies update info about CPU micorcode
lustre client roll for rocks clusters
PostX is a Debian based distribution.
M3-IPC: A Communication Tool for Distributed Virtualization
etcOS:easy text c operating system