- Pagella looks up scholarly publications in Google Scholar and computes some bibliometric indexes (including h and g indexes).
- XCheck-Java is a tool for assessing the relative performance of different XQuery/XPath engines by means of benchmarks consisting of a set of XML queries and a set of XML documents.
- HLMC stands for Hybrid Logic Model Checker. It is an implementation of model checking algorithms for hybrid logic