REDUCE is an interactive system for general algebraic computations of
interest to mathematicians, scientists and engineers. It has been
produced by a collaborative effort involving many contributors. Its
capabilities include:
* expansion and ordering of polynomials and rational functions;
* substitutions and pattern matching in a wide variety of forms;
* automatic and user controlled simplification of expressions;
* calculations with symbolic matrices;
* arbitrary precision integer and real arithmetic;
* facilities for defining new functions and extending program syntax;
* analytic differentiation and integration;
* factorization of polynomials;
* facilities for the solution of a variety of algebraic equations;
* facilities for the output of expressions in a variety of formats;
* facilities for generating optimized numerical programs from symbolic input;
* calculations with a wide variety of special functions;
* Dirac matrix calculations of interest to high energy physicists.
It is often used as an algebraic calculator for problems that are possible
to do by hand. However, REDUCE is designed to support calculations that
are not feasible by hand.
Clasp is an answer set solver for (extended) normal logic programs. It combines
the high-level modeling capacities of answer set programming (ASP) with
state-of-the-art techniques from the area of Boolean constraint solving. The
primary clasp algorithm relies on conflict-driven nogood learning, a technique
that proved very successful for satisfiability checking (SAT). Unlike other
learning ASP solvers, clasp does not rely on legacy software, such as a SAT
solver or any other existing ASP solver. Rather, clasp has been genuinely
developed for answer set solving based on conflict-driven nogood learning.
clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo),
as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB
solver (on OPB format).
You are in the presence of a System Administrator. Kneel.
"On Usenet, we vent in a group called alt.sysadmin.recovery. The
group has a FAQ. If you read the FAQ, you will find that you (the
users) subscribe to this group at your own peril. If you want to
be useful, why don't you run over to the supply cabinet and get a
new box of pixels for the monitor. As part of our venting, some
of us have written a series of man pages that we'd like to see."
Manpages you ever needed:
bosskill.8 c.1 chastise.3 ctluser.8 guru.8 knife.8 lart.1m luser.8
normality.5 nuke.8 people.2 pmsd.8 rtfm.1 slave.1 sysadmin.1 think.1
whack.1
Sort files or its standard input using the bogo-sort algorithm
described in the Jargon File <http://www.catb.org/~esr/jargon/>.
A quote from the Jargon File 'bogo-sort' entry:
...The archetypical perversely awful algorithm (as opposed to
_bubble sort_, which is merely the generic bad algorithm).
_Bogo-sort_ is equivalent to repeatedly throwing a deck of cards
in the air, picking them up at random, and then testing whether
they are in order. It serves as a sort of canonical example of
awfulness. Looking at a program and seeing a dumb algorithm, one
might say "Oh, I see, this program uses _bogo-sort_." Esp.
appropriate for algorithms with factorial or super-exponential
running time in the average case and probabilistically infinite
worst-case running time. Compare _bogus_, _brute force_,
_lasherism_...
Pexpect makes Python a better glue for controlling child applications.
Pexpect is a pure Python module for spawning child applications; controlling
them; and responding to expected patterns in their output. Pexpect works like
Don Libes' Expect. Pexpect allows your script to spawn a child application
and control it as if a human were typing commands.
Pexpect can be used for automating interactive applications such as ssh, ftp,
passwd, telnet, etc. It can be used to a automate setup scripts for duplicating
software package installations on different servers. It can be used for
automated software testing. Pexpect is in the spirit of Don Libes' Expect, but
Pexpect is pure Python. The Pexpect interface was designed to be easy to use.
[ excerpt from developer's site ]
- What is GStreamer?
GStreamer allows the construction of graphs of media-handling
components, ranging from simple mp3 playback to complex audio
(mixing) and video (non-linear editing) processing. Applications
can take advantage of advances in codec and filter technology
transparently. Developers can add new codecs and filters by writing
a simple plugin with a clean, generic interface. GStreamer is
released under the LGPL, with many of the included plugins retaining
the license of the code they were derived from, usually GPL or BSD.
- Features:
* Comprehensive Core Library
* Intelligent Plugin Architecture
* Extensive Development Tools
- Is GStreamer a media player?
No, GStreamer is a development framework for creating applications
like media players, video editors, streaming media broadcasters and
so on. That said, very good media players can easily be built on
top of GStreamer and we even include a simple yet functional
mediaplayer with GStreamer called Gst-Player
GStreamer allows the construction of graphs of media-handling
components, ranging from simple mp3 playback to complex audio
(mixing) and video (non-linear editing) processing. Applications
can take advantage of advances in codec and filter technology
transparently. Developers can add new codecs and filters by writing
a simple plugin with a clean, generic interface. GStreamer is
released under the LGPL, with many of the included plugins retaining
the license of the code they were derived from, usually GPL or BSD.
- Features:
* Comprehensive Core Library
* Intelligent Plugin Architecture
* Extensive Development Tools
- Is GStreamer a media player?
No, GStreamer is a development framework for creating applications
like media players, video editors, streaming media broadcasters and
so on. That said, very good media players can easily be built on
top of GStreamer and we even include a simple yet functional
mediaplayer with GStreamer called Gst-Player
[ excerpt (with adaptations) from developer's README ]
ffmpeg is a hyper fast realtime audio/video encoder, a streaming
server and a generic audio and video file converter.
It can convert a standard video source into several file formats
based on DCT/motion compensation encoding. Sound is compressed in
MPEG audio layer 2 or using an AC3 compatible stream.
What makes ffmpeg interesting ?
- Simple and efficient video encoder: outputs MPEG1, H263, Real
Video(tm), MPEG4, DIVX and MJPEG compatible bitstreams using the
same encoder core.
- Hyper fast MPEG audio layer 2 compression (50 times faster than
realtime on a K6 500).
[snip -> rest on website below]
ffmpeg is made of two programs:
* ffmpeg: soft VCR which encodes in real time to several formats.
It can also encode from any supported input file format to any
input supported format.
* ffserver: high performance live broadcast streaming server based
on the ffmpeg core encoders.
check_multi is kind of a wrapper plugin which takes benefit of the
Nagios 3.x capability to display multiple lines of plugin output.
It calls multiple child plugins and displays their output in the
long_plugin_output. A summary is given in the standard plugin output.
The child return code with the highest severity becomes the parent
(check_multi) plugin return code.
The configuration is very simple: a NRPE-stylish config file contains
a tag for each child plugin and then the check command line.
check_multi can cover complex Business Process Views - using a builtin
state evaluation mechanism. The second benefit is cluster monitoring
with no need for extra services. All you need is provided by check_multi.
LICENSE: GPL2 or later
Hawk is a web based utility for monitoring and comparing hosts on your
network with what is in DNS. Hosts that are answering pings but are not
in DNS may be unauthorized, and addresses in DNS which are not answering
may be able to be reclaimed. Hawk monitors all hosts on the networks
you specify and lets you view them via a web page.
Hawk consists of a backend written in Perl that monitors hosts by ICMP
pings and writes the status to a mysql database. The frontend is in
PHP and lets you select which network to view, and how to view it.
This version has several enhancements to the original; including cleaner
Perl code, a user-definable string to designate unused addresses that
are in DNS, testing that the forward and reverse hostnames match, and
the daemon forks one process pre subnet.