ANTLR (ANother Tool for Language Recognition) is a language tool that provides a framework for constructing recognizers, compilers, and translators from grammatical descriptions containing C++, Java, or Sather actions. It is similar to the popular compiler generator YACC, however ANTLR is much more powerful and easy to use. ANTLR-produced parsers are not only highly efficient, but are both human-readable and human-debuggable (especially with the interactive ParseView debugging tool). ANTLR can generate parsers, lexers, and tree-parsers in either C++, Java, or Sather. ANTLR is currently written in Java.
AweMUD is a MUD server for use with fantasy-settings. Features include fully dynamic objects and characters, an advanced scripting system, and custom worlds. The engine will eventually have completely interactive rooms (items can be placed under benches, doors can be destroyed), complex magick, and interactive NPCs.
Condor is a high throughput system, scheduling and providing large amounts of computational power over a long period of time. It provides the efficient use of a large variety of systems, from idle desktop workstations and dedicated clusters to grid systems all over the world, while its incredibly flexible configuration implements and maintains the machine owner's desired policy for the machine's availability.
Flex is a tool for generating programs that recognize lexical patterns in text. There are many applications for Flex, including writing compilers in conjunction with GNU Bison. Flex is a free implementation of the well known Lex program. It features a Lex compatibility mode, and also provides several new features such as exclusive start conditions.
HTML Forms generation and validation is a PHP class that generates HTML forms supporting many built-in validation types on server and client sides. It prevents security attacks by discarding spoofed values, has multiple submit protection, outputs HTML for fields displayed as fully accessible or in read-only mode, and has field value filtering and reformatting. It can be extended with custom control plug-ins. AJAX based form submission, upload monitor progress bar, auto-complete text input, automatic layout renderer, calendar date, CAPTCHA, Google Maps world location selection, linked select, and animation effects plug-ins are available.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).