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.
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.
Zato is an Enterprise Service Bus (ESB) and app server written by pragmatists for pragmatists. It provides an HA load-balancer, hot-deployment, and hot-reconfiguration almost everywhere (forget server restarts). It has a browser-based GUI, CLI, and API (forget XML configuration). It supports many protocols, industry standards, and data formats, including HTTP, JSON, SOAP, REST, AMQP, JMS WebSphere MQ, ZeroMQ, Redis, SQL, and FTP.
SOAP/REST Mock Service is a simple configurable framework to mock out SOAP or RESTful (or "REST-like") Web services. Its main goal is to support automated integration testing of applications that integrate with 3rd party Web services. Functionality and usage scenarios of the mock service are in a way analogous to unit testing mocking tools (like Mockito or EasyMock). Once properly configured, SOAP/REST Mock Service exposes Web service mocks that can be called from application code and controlled via a REST interface from integration test code (setup, verify, etc.).
The Arakhnê.org Network Editor (NetEditor) is a Java component that permits you to edit and show connected graphs. The graph defines the constructs of a visual language, and NetEditor is able to render associated figures. NetEditor is based on a metamodel composed of the node, edge, and anchor (or ports) constructs. It has a strong separation of the visual-language constructs and the drawings. It provides tools to code graph-drawing layout algorithms. Two algorithms are provided: Ganswer-Sugiyama and Coulomb-Hooke force-based algorithms. Standard UI features are provided: graphical editing of the graph structure, depth levels for nodes and edges, undo, and redo, clipboard, and drag and drop management. The NetEditor API is able to export the graphs to GIF, JPEG, PNG, BMP, SVG, PDF, EPS, PDF, Graphviz DOT, GXL and GraphML. The document file formats used by NetEditor are GXL, GraphML, or NGR files (zipped GXL/GraphML).
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.