The Discrete Event Calculus Reasoner allows a programmer to add common-sense reasoning capabilities to programs. It supports deduction/temporal projection, abduction/planning, postdiction, and model finding. It allows default reasoning about action, change, space, and mental states. It is based on the event calculus, a comprehensive and highly usable logic-based formalism. It helps applications understand the world, make inferences, adapt to unexpected situations, and be more flexible.
ProM is an extensible framework that supports a wide variety of process mining techniques in the form of plug-ins. Plug-ins currently support the import of and the conversion between several process modelling languages, including Petri nets (PNML, TPN), EPCs/EPKs (Aris graph format, EPML), and YAWL. Mining, analysis, and log filtering plug-ins are also available.
SILGraphite (formerly OpenGraphite) is a project within SIL's Non-Roman Script Initiative and Language Software Development groups to provide extensible cross-platform rendering capabilities for complex non-Roman writing systems. It consists of a rule-based programming language, Graphite Description Language (GDL), that can be used to describe the behavior of a writing system, a compiler for that language, and a rendering engine that can serve as the backend of a text processing application. SILGraphite renders TrueType fonts that have been extended by means of compiling a GDL program. It is currently being integrated into Gecko/Mozilla through the SILA project, a GNU/Linux port is also underway, and there are plans for OpenOffice.org and Abiword integration.
readline C++ wrapper simplifies usage of the readline and history libraries for C++ programmers. Not all of the readline features are wrapped; however, the most often used are covered, including: editing the input line based on the user preferences; command history; saving/loading the command history to/from specified files; custom completers via standard containers; and binding keys to boost::function calls.