The audiofile library allows the processing of audio data to and from audio files of many common formats (currently AIFF, AIFF-C, WAVE, NeXT/Sun, BICS, and raw data).

gexec is a small and simple command executer using GTK+. It features autocompletition and a command history. Furthermore gexec can run the chosen command as root or in a terminal emulator.

This program computes, for a nucleic acid duplex, the enthalpy, the entropy and the melting temperature of the helix-coil transitions. Three types of hybridisation are possible: DNA/DNA, DNA/RNA, and RNA/RNA. The program first computes the hybridisation enthalpy and entropy from the elementary parameters of each Crick's pair by the nearest-neighbor method. Then the melting temperature is computed. The set of thermodynamic parameters can be easily changed, for instance following an experimental breakthrough.

PyWebDAV is a WebDAV server implementation in Python. It's aim is to provide a simple interface to webdav services to any application which needs it. It can be run as a daemon.

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