This is a staging site. Uploads will not persist. Testing only.
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.
otter
resolution-style theorem prover
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.
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.
ihu
Qt VoIP softphone with an own, encrypted protocol
pspresent
fullscreen PostScript presentation tool
pspresent is a tool that displays PostScript slides in fullscreen, for
giving presentations. Navigation is simple: spacebar goes forward one
slide, backspace takes you back one slide. The escape key quits. The
display itself is double-buffered giving seamless transitions between
slides.