Mozart Programming System

mozart

Mozart Programming System

Mozart is an advanced development platform for intelligent, distributed applications. It is based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part of a coherent whole. For distribution, Mozart provides a true network transparent implementation with support for network awareness, openness, and fault tolerance. Security is upcoming. Mozart is an ideal platform for both general-purpose distributed applications as well as for hard problems requiring sophisticated optimization and inferencing abilities.
pretty-printer for email messages and other text files

mp

pretty-printer for email messages and other text files

GNU Shockwave Flash (SWF) player

gnash

GNU Shockwave Flash (SWF) player

GNU Gnash is a free GPL'd SWF player. It runs as a standalone application on either the desktop or embedded devices, or may be used as a plugin for several popular browsers. It supports playing media from a disk or streaming over a network connection.
Transitional dummy package to pull in "ack"

ack-grep

Transitional dummy package to pull in "ack"

Ack is designed as an alternative for 99% of the uses of grep. ack is intelligent about the files it searches. It knows about certain file types, based on both the extension on the file and, in some cases, the contents of the file.
Computational Logic for Applicative Common Lisp: emacs interface

acl2-emacs

Computational Logic for Applicative Common Lisp: emacs interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
PCM player designed for ALSA (text vers)

alsaplayer-text

alsaplayer text interface

This package provides a text interface to alsaplayer, an audio player, and does not require X or GTK+ to run.