hol88-help

Higher Order Logic, online help files

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

rlinetd

gruesomely over-featured inetd replacement

rlinetd is designed to replace the BSD inetd. Feature-wise, it is a proper superset of the BSD inetd, including rpc support and both udp and tcp services. In addition, it supports a number of resource limiting features, including full resource limits a la setrlimit(2), renicing, chroot and limited per-service instances. To round out the features stolen from xinetd, it also supports binding to individual interfaces on request, and configurable logging.

libsimple-validation-java

library for quickly adding validation code to Swing user-interfaces

This is a simple library for retrofitting user-interface input validation to Swing applications. It handles validating user input when the user changes a component's value, showing error messages and decorating components to indicate which component is the source of the problem. It contains a large number of built-in validators to handle most common situations, such as validating numbers, email addresses, urls and so forth.

python-gst0.10-dev

generic media-playing framework (Python bindings)

python-parted-dbg

Python interface for libparted - Debugging symbols

libsiscone-spherical0v5

Spherical version of SISCone

SISCone implements a seedless infrared (IR) safe cone jet algorithm, it takes N^2*ln(N) time to find jets among N particles, comparing to N*2^N time of other algorithms.