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.

Changing directories in bash can be tedious if you have long names or nested paths. Creating aliases or adding to the CDPATH can help, but can be improved on. Bashcd adds 6 new commands to make changing directories a bit easier. This commands use find, the locate database, the mdfind database, or other contextual information to make it easier to change to other directories.

Coq au Vin is a blogging engine written in Chicken Scheme. It is designed to appeal to users who have basic Web development skills (i.e., who know HTML and CSS), are able to install their own server-side software, and would rather edit a template than press 105 buttons to customize their sites.

EXIP provides a C library for the parsing and serialization of Efficient XML Interchange (EXI) format streams. The focus is portability and efficiency for embedded systems development. The project was started at the EISLAB research group in the Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, and is part of research efforts to bring resource-constrained embedded devices, such as wireless sensor nodes, closer to the enterprise business processes taking place in processing, manufacturing, and communication industries.

HtmlCleaner is an HTML parser. HTML found on the Web is usually dirty, ill-formed, and unsuitable for further processing. For any serious consumption of such documents, it is necessary to first clean up the mess and bring order to the tags, attributes, and ordinary text. For a given HTML document, HtmlCleaner reorders individual elements and produces well-formed XML. By default, it follows rules similar to those which most Web browsers use to create a Document Object Model. However, the user may provide custom tag and rule sets for tag filtering and balancing.

M-Pin Strong Authentication System enables true two-factor authentication for Web sites and applications, based on the open source M-Pin Authentication Server and M-Pin Managed Service.
The M-Pin Managed Service is a highly available, fault tolerant software as a service that issues cryptographic secrets to M-Pin Authentication Servers and Clients. The M-Pin Authentication Server uses just one leak-proof cryptographic key, and can't reveal any information about your users such as identity or login details, even if the key is compromised. The M-Pin Client is an HTML5 browser, so developers can easily integrate M-Pin into their Web sites and applications, enabling frictionless two-factor authentication and removing all username / password vulnerabilities.

OSv is an operating system for virtual machines in the cloud. It can run existing Linux code, including a JVM, but is much smaller and simpler than Linux, and has been designed from scratch to focus on running efficiently on virtual machines.

OpenHopla is a suite of products including SpartanUnit (a microkernel-like implementation of xUnit), unit tests, and code kata. The mission of OpenHopla is to help programmers practice and teach the Tao of Testing.

Orchid is a Tor client and library written in pure Java. It exposes a SOCKS5 listener for use as a Tor client, and can also be used to (nearly) transparently Torify new and existing applications that run on the JVM. It also runs on Android devices.