This is a staging site. Uploads will not persist. Testing only.
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.
fullscreen PostScript presentation tool

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.
Qt VoIP softphone with an own, encrypted protocol

ihu

Qt VoIP softphone with an own, encrypted protocol

IPv6 Router Advertisement MONitoring Daemon

ramond

IPv6 Router Advertisement MONitoring Daemon

ramond is a scriptable IPv6 Router Advertisement Monitoring Daemon.
Slide and add puzzle game for text mode

2048

Slide and add puzzle game for text mode

The 2048 game is a mathematics based puzzle game where you have to slide tiles in a 4x4 board in any of the four possible directions. Touching tiles with the same value are then merged into tiles with the added value of the merged ones. You start with a couple of 2-valued tiles and new tiles appear randomly after sliding. The target of the game is to reach a tile with a value of 2048 before the board is full.