Oink is a collaboration of backends for the Elsa C and C++ frontend. It aims to be industrial-strength for immediate utility in finding bugs, extensible for ease in adding backends, and composable for ease in combining existing ones. It computes expression-level and type-level data flow, and statement-level intra-procedural control flow (by delegating to Elsa). It's easy to get started by using the two demo backends that print graphs of these flows. It also comes with a client of the data flow analysis that does type qualifier inference: Cqual++, a C/C++ frontend for Cqual. Whole-program analyses may be attempted using the linker imitator.
AMLET is software designed to estimate multinomial and mixed logit discrete choices models, which are increasingly popular in econometry. The software supports cross- sectional and panel data, and offers various optimization methods, including the new variable sample-size approach.
Urwid is a Python library for making text console applications. It has many features including fluid interface resizing, support for UTF-8 and CJK encodings, standard and custom text layout modes, simple markup for setting text attributes, and a powerful, dynamic list box that handles a mix of widget types. It is flexible, modular, and leaves the developer in control.
PBZIP2 is a parallel implementation of the bzip2 block-sorting file compressor that uses pthreads and achieves near-linear speedup on SMP machines. The output of this version is fully compatible with bzip2 1.0.2 or newer (ie: anything compressed with PBZIP2 can be decompressed with bzip2).
JSBSim is a multi-platform flight dynamics model. The FDM is essentially the physics/math model that defines the movement of an aircraft under the forces and moments applied to it using the various control mechanisms and from the forces of nature. JSBSim has no native graphics. It can be run by itself as a standalone program, taking input from a script file and various aircraft configuration files, or it can be run as an integrated part of a larger flight simulator implementation that includes a visual system. The most notable usage example is the FlightGear simulator. JSBSim models the aerodynamic forces and moments by the classic coefficient buildup method.
BlogMatrix Sparks! is a streaming Internet radio program recorder and podcast receiver. Downloaded programs are converted (via Mplayer and LAME) into MP3s and stored in your media player (iTunes or Windows Media Player). It uses an interactive directory of thousands of radio stations and podcasts to help you find content. It runs on Windows, Macintosh OS 10.3, and Linux.
aubio is a library for audio labelling. Features include onset detection, silence detection, beat tracking, and pitch detection. The goal of this project is to provide automatic labelling features to other audio software projects. Functions can be used offline in sound editors and software samplers, or online in audio effects and virtual instruments.