ibid

easily extensible Python IM bot for IRC, Jabber, SILC, campfire, etc.

Ibid is a multi-protocol, general purpose, instant messaging chat bot written in Python. It aims for a naturalistic interface rather than strict-syntax commands.

gprbuild

multi-language extensible build tool

A set of tools for processing GNAT project files: gprconfig detects available compilers, gprbuild runs them; gprslave helps distributing the build work across the network; gprinstall copies the objects to their final destination; gprclean removes them. The default configuration supports Ada, Assembler, C, C++, Fortran, and can be extended to support user source processing tools.
Java morphing film-make program for pixel picture-input

javamorph

Java morphing film-make program for pixel picture-input

Give two human-face pictures as inputs into the program. Then mark important locations whithin both faces by pairs of corresponding points. The program will create a short enumerated picture series in which the left face moves (morphs) into the right one. You can then create a MPEG (see mencoder) from the picture series. An animated GIF (see GIMP) is also possible.
pantalla principal

jxplorer

Java LDAP Browser

JXplorer is an open source LDAP browser originally developed by Computer Associates' eTrust Directory development lab. It is a standards compliant general purpose LDAP browser that can be used to read and search any LDAP directory, or any X500 directory with an LDAP interface. JXplorer is a fully functional piece of software with advanced security integration and support for the more difficult and obscure parts of the LDAP protocol. It should run on any Java supporting operating system. Main features are:

zoxide

Smarter cd command for your terminal

This package contains the following binaries built from the Rust crate "zoxide": - zoxide

acl2-source

Computational Logic for Applicative Common Lisp: source files

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.