Overclock an NVIDIA card (Qt interface)

nvclock-qt

Overclock an NVIDIA card (Qt interface)

file transfer time calculator written in GTK+

bandwidthcalc

file transfer time calculator written in GTK+

Given the available bandwidth, bandwidthcalc determines how long it will take to transfer a file of a given size. You can specify the available bandwidth in kBit/s, kByte/s, MBit/s or MByte/s. The time output is in HH:MM:SS
Utility to extract outdated messages from mail folders

mail-expire

Utility to extract outdated messages from mail folders

mail-expire is a tool which scans mail folders (Maildir or mbox files) for messages that are older than given maximum age and moves them to another (compressed) mbox file or just deletes them.
tcl/tk gui for msort utility

msort-gui

tcl/tk gui for msort utility

msort-gui is a frontend for msort utility. It is helpful not only to those who find a complicated command line difficult to deal with but also to those unfamiliar with the finer points of sorting.
resolution-style theorem prover

otter

resolution-style theorem prover

Berkeley LALR parser generator, Perl version

perl-byacc

Berkeley LALR parser generator, Perl version

Yacc reads the grammar specification in a file and generates an LR(1) parser for it. The parsers consist of a set of LALR(1) parsing tables and a driver routine written in the C programming language. This version is able to produce Perl programs.