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.
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.
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.