whichman

Fault tolerant search utilities: whichman, ftff, ftwhich

whichman uses a fault tolerant approximate matching algorithm to search for man-pages that match approximately the specified name. The fault tolerant matching is very useful in cases where you remember only roughly the name of a command.

libeclipse-e4-ui-dialogs-java

Eclipse e4 dialogs

The Eclipse Platform UI project is responsible for the runtime, user interface and help components of Eclipse. Platform UI provides the basic building blocks to create the Eclipse IDE and other Eclipse based applications called Rich Client Platform (RCP).

regina-normal-mpi

MPI utilities for Regina, the topology software

Regina is a software package for low-dimensional topologists. This package contains the components of Regina designed to run large parallel computations on a high-performance cluster using MPI.
Software verification tool for C and Java

why

Software verification tool for C and Java

Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.

wide-dhcpv6-client

DHCPv6 client for automatic IPv6 hosts configuration

This is the DHCPv6 client from WIDE project.

fpdns

remotely determine DNS server version

A nameserver basically responds to a query. Interoperability is an obvious requirement here. The standard protocol behaviour of different DNS implementations is expected to be the same.