Proof Logic : A logical framework for theorem proving
Pg_statsinfo is a utility that monitor statistics and the activity.
Implementation of LZW compression algorithm in C
A set of C libraries to implement data structures and algorithms
Utility to show live progress, status & stats for running simulations
The first OpenSolaris based distro (since June 2005)
Minimal terminal program to get access to a serial console
Fast easy to learn editor since 1984
The OpenSolaris source base (OpenSolaris-ONNV) maintained version
C-level driver collection for MSP430 and derivatives
EmACT is an emacs clone for Windows and unix
Extended C Library
Prolog to C compiler with runtime for DOS, Windows and Raspbian
Natural language processing using coroutines in C
UNIX/LINUX and legal homebrew software on the xbox360 gaming console
Universal elite game trainer for the command line on Linux.
Restore old DOS Backups (BACKUP.001 CONTROL.001 from before 1995) on W
HP-UX LVM and vxfs support for Linux