with minor tweaks by me.
--
Happy - The LALR(1) Parser Generator for Haskell
Happy is a parser generator system for Haskell, similar to the
tool `yacc' for C. Like `yacc', it takes a file containing an
annotated BNF specification of a grammar and produces a Haskell
module containing a parser for the grammar.
Happy is flexible: you can have several Happy parsers in the same
program, and several entry points to a single grammar. Happy can
work in conjunction with a lexical analyser supplied by the user
(either hand-written or generated by another program), or it can
parse a stream of characters directly.
mini_sendmail reads its standard input up to an end-of-file and sends a
copy of the message found there to all of the addresses listed. The
message is sent by connecting to a local SMTP server. This means
mini_sendmail can be used to send email from inside a chroot(2) area.
gMUDix is an improved version of MUDix, a MUD client for the Linux
console. It is designed to run as an X application, and was developed
with GTK+ 2.0. gMUDix has all the features of MUDix and more, including
ANSI color mapping, aliasing, macros, paths, tab completions, timers,
triggers, variables, and an easy-to-use script language.
--
The Cryptokit library for Objective Caml provides a variety of
cryptographic primitives that can be used to implement cryptographic
protocols in security-sensitive applications. The primitives
provided include:
- Symmetric-key ciphers: AES, DES, Triple-DES, ARCfour,
in ECB, CBC, CFB and OFB modes.
- Public-key cryptography: RSA encryption, Diffie-Hellman key
agreement.
- Hash functions and MACs: SHA-1, MD5, and MACs based on
AES and DES.
- Random number generation.
- Encodings and compression: Base64, hexadecimal, Zlib compression.
Additional ciphers and hashes can easily be used in conjunction
with the library. In particular, basic mechanisms such as chaining
modes, output buffering, and padding are provided by generic classes
that can easily be composed with user-provided ciphers. More
generally, the library promotes a "Lego"-like style of constructing
and composing transformations over character streams.
- Updated to ghc-6.0
- Halved (roughly) the build time; by using the 6.0 in-tree build
we only have to build the 6.0 libraries once. Also we only build the
necessary parts of the bootstrap compiler.
- The ugly lndir/stage1 build is also gone.
- The full ghc regression suite is now part of the port!
"make regress" will run around 3000 regress tests.
- The regression tests revealed that the C foreign function
- The Makefile is simplified, using more default targets
- The documentation is updated to 6.0
- I put some of the 5.04.3 patches into ghc cvs, so they are
now obsolete.
Unfortunately, this lets mozilla back in the race for longest
package building time...
VLC (VideoLAN Client) is a highly portable multimedia player for various
audio and video formats (MPEG-1, MPEG-2, MPEG-4, DivX, mp3, ogg, ...) as
well as DVDs, and various streaming protocols.
any rcs with a formal theory of patches is worth looking at :)
http://abridgegame.org/darcs/manual/node7.html
--
Darcs is a revision control system, along the lines of CVS or arch.
That means that it keeps track of various revisions and branches
of your project, allows for changes to propogate from one branch
to another. Darcs is intended to be an ``advanced'' revision control
system.
Darcs has two particularly distinctive features which differ from
other revision control systems: 1) each copy of the source is a
fully functional branch, and 2) underlying darcs is a consistent
and powerful theory of patches.
