Aniketos-SSVV (Aniketos Security Service Validation and Verification) provides a series of modules that work together to validate the security properties of a Web service composition. The package is given a selection of service compositions (provided in the form of BPMN processes with Web services bound to the service tasks), along with the security policy to be fulfilled. The package then performs various checks on the services to establish whether each composition satisfies the policy, returning an ordered list (ordered in terms of security) of the services that do. It forms part of the larger Aniketos project comprised of four packages in total.
Tulip is an information visualization framework dedicated to the analysis and visualization of relational data. Tulip aims to provide the developer with a complete library, supporting the design of interactive information visualization applications for relational data that can be tailored to the problems being faced. Written in C++, the framework enables the development of algorithms, visual encodings, interaction techniques, data models, and domain-specific visualizations. One of the goals of Tulip is to facilitate the reuse of components, and it allows developers to focus on programming their application. This development pipeline makes the framework efficient for research prototyping as well as the development of end-user applications. The framework also provides a complete software for visual analysis of relational data having attributes.
Pcompress is an archiver that can do compression/decompression and deduplication in parallel by splitting input data into chunks. It has a modular structure and includes support for multiple algorithms like LZMA, Bzip2, PPMD, LZ4, etc., with KECCAK/BLAKE2/SHA-256/512 chunk checksums. SSE optimizations for the bundled LZMA are included. It also implements chunk-level Content-Aware Deduplication and Delta Compression features based on a Polynomial Fingerprinting scheme. It has low metadata overhead and overlaps I/O and compression to achieve maximum parallelism. It has AES encryption capability and uses Scrypt from Tarsnap to generate per-session unique keys from passwords. It can work in pipe mode, reading from stdin and writing to stdout. It also provides some adaptive compression modes in which a suitable algorithm is chosen per chunk based on heuristics.
C Almost Generic Library (CAGL) is a set of C macros which generates typed arrays, lists (singly or doubly-linked), hash tables, and balanced binary trees, as well as many useful functions to manipulate them. The containers grow automatically, and their memory is managed by the library. The container data, or elements, may also be managed by the library, depending on the options specified by the programmer. The aim is to free C programmers from the drudgery of implementing common data structures and algorithms. CAGL also provides some safety by making the containers typed instead of void pointers. Although, at most, two macros are invoked to declare and define a container type, manipulation of the containers is done using functions generated by the macros. A simple naming convention is used to get around the limitation that C doesn't support function overloading.
MeteoIO is a C++ library whose main design goals are: providing meteorological data format/protocol independent data access; providing safe and robust I/O; making I/O code as unobtrusive and simple as possible for the user; providing ready to use data to the user (transparent caching, filtering, resampling, and spatial interpolation); enabling unattended use from an I/O point of view; offering high modularity so that individual elements of the library can easily be replaced/expanded/added; and by its modularity, help interdisciplinary development, each module being targeted at a specific developer profile.
FEniCS is a collection of free software for automated, efficient solution of differential equations. It has an extensive list of features, including automated solution of variational problems, automated error control and adaptivity, a comprehensive library of finite elements, high performance linear algebra, and many more. It is organized as a collection of interoperable components, including the problem-solving environment DOLFIN, the form compiler FFC, the finite element tabulator FIAT, the just-in-time compiler Instant, the code generation interface UFC, the form language UFL, and a range of additional components.
BEdita is a Web development framework that comes with a full-featured content management system out of the box. BEdita 3 is a solid software environment, fully compatible and respectful of Web standards. The user interface has been developed in accordance with well-established rules in usability and ergonomics, but it is also practical and enjoyable. BEdita has been built upon CakePHP, the well known framework, from which it inherits the MVC design pattern. Moreover, a number of third party libraries and tools have been used, like JQuery, Smarty, and so on.