FaCiLe is a constraint programming library over integer finite domain written in OCaml. It offers all usual facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints, and search goals. It also allows you to build easily user-defined constraints and goals (including recursive ones), making pervasive use of OCaml higher-order functionals to provide a simple and flexible interface for the user.
Quickcalc is a basic and simple console calculator which allows some symbolic calculations and handles various mathematical functions. It has a command line history and features emacs bindings. A typical use of quickcalc would be to check your bank account or perform simple mathematical calculations. Quickcalc is usually more efficient that X GUI calculators for this purpose.
Reasonable Python is a Python module which adds logic programming constructs borrowed from F-Logic. It's build upon the Flora-2 and XSB engines and uses ZODB for permanent knowledgebase storage. Usage possibilities include knowledge bases, ontology management and semantic web applications.
OpenHTMM is an implementation specifically designed to facilitate research into Hidden Topic Markov Models methods. Hidden Topic Markov Models (HTMM) is a method of analyzing a docyment by imposing a temporal Markov structure on the document. In this way, it is able to account for shifting topics within a document. In so doing, it provides a topic segmentation within the document and also seems to effectively distinguish among multiple senses that the same word may have in different contexts within the same document.