The EnRus dictionary tools are TCL/Tk scripts for reading a textual (plain or compressed by gzip or bzip2) dictionary base and compiling new dictionary bases from plain text files. It consists of a few TCL console scripts and a Tk interface to them. It is configurable for different languages. The dictionary base may contain proper formatting and output procedures.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
pftp allows you to send and receive files and directories recursively, send and receive standard input and ouput, filter your connection, set the net buffer size, set the bandwidth, send UDP datagrams unicasted, broadcasted, and multicasted (which is meant for AUDIO and VIDEO streaming), send data to another user and manage that data, perform a network test based on either UDP or TCP, and use optimized buffers for your Gigabit Ethernet links. pftp can start from command line, as a daemon, or by inetd. All features are supported for IPv4 and IPv6.
SendIP is a command-line tool to send arbitrary IP packets. It has a large number of options to specify the content of every header of a RIP, RIPng, BGP, TCP, UDP, ICMP, or raw IPv4/IPv6 packet. It also allows any data to be added to the packet. Checksums can be calculated automatically, but if you wish to send out wrong checksums, that is supported too.
spim is a self-contained software simulator for running R2000/R3000 assembly language programs. It reads and can immediately execute files containing assembly language code. spim also provides a debugger and simple set of operating system services. spim provides both a simple, textual interface and a fancier, graphical interface. The package includes complete source code and documentation.
ILIAS is a platform for Web-based training. It is being developed at the University of Cologne, in Germany, using PHP and MySQL. It has been available since September 2000 as open software software under the GPL. The system's core is an authoring tool for creating courses. Other main components include personal desktops, a mail system, newsgroups, a group system, and system administration.
EAsea Specification of Evolutionary Algorithms (EASEA), is a high-level language dedicated to the specification of evolutionary algorithms. The language and compiler are quite mature. EASEA compiles .ez specification files into C++ or Java object files, using existing evolutionary libraries. Supported C++ libraries currently are GALib or EO.
YAKS - Yet Another Khepera Simulator, is a Khepera simulator that uses prerecorded sensor values from a real robot in order to provide simulation speeds of 3600 times reality. It has support for the infrared sensors, light sensors, K213 vision turret, gripper arm, and more. The simulator comes with a GTK interface, a genetic algorithm (GA), and an artificial neural net (ANN).
"Tux, of Math Command" is an educational math tutorial game for elementary school level children. Like so many other Linux games, it stars Tux, the Linux Penguin. Players must answer math equations to shoot down comets which are falling towards their cities. It can run on Linux/UNIX, Win32, Mac, and BeOS.