nexB OpenAssets is a tool for inventorying, managing, and monitoring applications, software, hardware, networks, and generally any IT asset. It is designed so that system administrators, IT, and finance can determine what they have, how it is configured, what it is used for, and how much it is being used, so that informed decisions can be made. It complements existing network management software, integrates with a growing number of protocols and tools, and features no-agent discovery and inventory, configuration management including dependencies and correlation, monitoring, and reporting. It makes extensive and innovative use of XML, Xpath, and Xquery.
Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.
JagPDF is a library for generating PDF documents in C/C++, Python, and Java. It supports TrueType (subsetting) and standard 14 Type 1 fonts, font metrics, Unicode, UTF-8 and common 8-bit character encodings, images (JPEG, PNG, or custom), paths, color spaces (RGB, CMYK, CIE based, ICC profiles, indexed), encryption, bookmarks, hyperlinks, and more.
Linux Video Maker is application for generating DVD or (S)VCD structures that are ready to record on CD or DVD. It is a GUI for transcode, mplex, DVDAuthor, and few other programs. It makes the creation of DVDs and VCDs easier, especially for beginners. Linux Video Maker prevents many mistakes, especially in the conversion process, which can take a lot of time.
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
Paragent is a Web-based tool for IT administrators that provides a unified service for hardware and software inventory, alerting, remote desktop, and help desk functions. It delivers these tools in an easy-to-use interface, with one-click access and site-wide built-in advanced search capabilities. It is a combination of applications, including Lisp-based servers collecting data, C++ agents on the client machines, and Java tools for the remote desktop component. Paragent runs on Linux servers and supports Windows clients.
SourceID Liberty is a Java implementation of the Liberty Alliance ID-FF 1.2 protocols. It has a workflow-based architecture that provides a great deal of flexibility and extensibility. A server-based application, it focuses on making it possible to seamlessly adapt the Liberty 1.2 federation protocols to existing infrastructure.