crypt++.el is a package of Lisp functions that recognize automatically encrypted and encoded (i.e., compressed) files when they are first visited or written. The BUFFER corresponding to the file is decoded and/or decrypted before it is presented to the user. The file itself is unchanged on the disk. When the buffer is subsequently saved to disk, a hook function re-encodes the buffer before the actual disk write takes place.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
A series is a data structure much like a sequence, with similar kinds of operations. The difference is that in many situations, operations on series may be composed functionally and yet execute iteratively, without the need to construct intermediate series values explicitly. In this manner, series provide both the clarity of a functional programming style and the efficiency of an iterative programming style. Series is the culmination of many years of design and use of this approach, during which some 100,000 lines of application code have been written (by about half a dozen people over the course of seven years) using the series facility in nearly all iteration situations. This includes one large system (KBEmacs) of over 40,000 lines of code. In a nutshell: Think "Efficient MAPCAR". SERIES translates functional-style expressions into efficient loops.
BlogMax makes it easy to use Emacs to maintain a Web log. You define templates and an FTP site for uploads. Most of your site's content is defined by text files. Saving a text file automatically wraps the template around it, expands macros and shortcuts, and saves the HTML file. Other commands in "weblog" mode upload files via FTP, create an RSS file, yank links or blockquotes into the buffer, create shortcuts, etc. The BlogMax Web site was, of course, created with BlogMax. It has been tested in Emacs 20.3.1 on Windows and Emacs 20.4.1 on Mandrake Linux.
Jess is a fast, light rule engine and scripting environment written entirely in Java. You can build Java software that has the capacity to "reason" using knowledge you supply in the form of declarative rules. It is supplied as a programmer's library, making it ideal for embedding in larger applications. Jess includes development tools built on the Eclipse platform. It is free for academic use and can be licensed for commercial use.
xslide is a major mode for (X)Emacs for editing XSL Stylesheets. Its features include an XSL customization group for setting some variables; an initial stylesheet which is inserted into empty XSL buffers; a "template" menu for jumping to template rules, named templates, key declarations, and attribute-set declarations in the buffer; an "xsl-process" function that runs an XSL processor and collects the output; syntax highlighting; an "xsl-complete" function for inserting element and attribute names; an "xsl-insert-tag" function for inserting matching start- and end-tags; automatic completion of end-tags; automatic indenting of elements with user-definable indentation step; and a comprehensive abbreviations table.