Web based Game server control panel
A system for programming LPC, STM32 and possible others devices.
Graphical User Interface for PanDoc for Linux, Mac & Windows
Synthesizing embedded control software from formal specifications
Extract and Convert Juniper Firewall Policies to CSV
A Duke Nukem 3D Mod Launcher designed to run with the Eduke32 Port
Multi-threaded HDF5 filter using CharLS JPEG-LS implementation
Multi-threaded HDF5 filter using ESA CCSDS-123 implementation
Automated Irrigation Controller for computers
get make and install [multiple] linux kernels
Multi-threaded HDF5 filter implementing the LPC-Rice codec
Collate and count ldap entries
a variety of useful scripts w/no sf page
XDM-OPTIONS Display Manager Suite
PS3 control BLUETOOTH support for SteamLink
File system benchmark
a linux based readonly image as appliance
imap cleanup & command line tool