CGI::Application is a Perl framework intended to make it easier to create sophisticated, reusable Web-based applications. This module implements a methodology which can make Web software easier to design, easier to document, easier to write, and easier to evolve. CGI::Application builds on standard, non-proprietary technologies and techniques, such as the Common Gateway Interface and Lincoln D. Stein's excellent CGI.pm module. CGI::Application judiciously avoids employing technologies and techniques which would bind a developer to any one set of tools, operating system, or Web server.
flex.rb is a regexp matching and scanning library for the Ruby language. It is more than 3 times faster than Ruby regexps, and supports matching text arriving in multiple parts (via async, non-blocking I/O). flex.rb embeds the GNU Flex 2.5.4 (fast lexical analyzer generator) as an engine, and all of Flex's functionality is accessible from Ruby scripts.
GPP is a general-purpose preprocessor with customizable syntax, suitable for a wide range of preprocessing tasks. Its independence from any programming language makes it much more versatile than cpp, while its syntax is lighter and more flexible than that of m4. The syntax is fully customizable, which makes it possible to process text files, HTML, or source code equally efficiently in a variety of languages.
Mercat is a light-weight, cross platform programming language. It is garbage collected and self hosting and produces portable byte-compiled binaries that can be executed on any platform with the appropriate interpreter. Interpreters are available for Linux, DOS (32-bit) and DOS (16-bit) and the interpreter source should be easily compilable for other platforms.
Mup produces very high quality PostScript printed music or a MIDI file from a text input file. It can handle almost any kind of music, instrumental or vocal, including tablature, shaped notes, guitar grids, alternate tunings, user-defined symbols, and much more. Mup has been under active development since 1992.
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.