Metrix++ is a platform to collect and analyze code metrics. It has a plugin-based architecture, so it is easy to add support for new languages, define new metrics, and/or create new pre- and post-processing tools. Every metric has 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules; you can choose and configure any limit you want. It scales well to large codebases. For example, initial parsing of about 10000 files takes 2-3 minutes on an average PC, and only 10-20 seconds for iterative re-run. Reporting summary results and exceeded limits takes less than 1 - 10 seconds. It can compare results for 2 code snapshots (collections) and differentiate added regions (classes, functions, etc.), modified regions, and unchanged regions. As a result, easy deployment is guaranteed into legacy software, helping you to deal with legacy code efficiently, and either enforce the 'leave it not worse than it was before' rule or motivate re-factoring.
Archivist is a network device configuration archiving and versioning program. It uses Subversion as its revision control system. Its multithreaded design makes it quite fast and thus suitable for operation on large networks with thousands of network devices. It supports Cisco IOS, Cisco CatOS, Juniper JUNOS, and Brocade/Foundry MLX series, but it can be easily extended to support any SSH or telnet-based network device by creating your own config download and post-processing scripts.
DataStatix manages data of every kind, creates statistics and graphs, and exports data easily to the R environment. Its features include user management (create, delete, modify password) within the software, different levels of user data access (administrator, standard, read-only), user-defined templates (models) of data, the ability to create new databases easily, importation and exportation of data in CSV format, and synchronization of existing data from a CSV file created with DataStatix.
Theorem Linker is a program used to visualize references between theorems in a paper written using LaTeX. Using a .tex document (and a .aux file, created by the LaTeX compiler), Theorem Linker will search through a paper, find theorems, and find references to other theorems within a theorem's "proof". It will then create a digraph in a .dot file (to be opened with programs such as Graphviz or OmniGraffle) that will display each theorem as a node, with directed edges to describe the relations between the theorems. A path highlighted in red describes the longest path in the graph. Theorem Linker will also create folders containing graphs to individually show relations of each theorem in a paper.
FreeFuzzyTime is a time reasoner based on Fuzzy Temporal Constraint Networks (FTCN), which treats fuzzy temporal information efficiently. It can be integrated into applications for diagnosis. This is especially important in areas like Intensive Care Units, where patients' data are handled by a temporal database. FuzzyTime uses a structure which consists of three levels of abstraction. The upper layer is the user interface, where a translator transforms the expressions introduced by the user into temporal relations between temporal entities (points and intervals). The semantics of a user’s expressions are analyzed and stored in the intermediate layer, or temporal world. Finally, the bottom layer is based on the FTCN model.