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.

yuck is a command line option parser for C that works on a minimal set of dependencies - only a C compiler and the m4 macro processor are required. It supports all the standard use cases: GNU-style long options (--option), condensable short options (-xab for -x -a -b), and optional arguments to long and short options (--foo[=BAR]), multiple occurrence of options (-vvv). Most importantly, it does not depend on libc's getopt() nor getopt_long().

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.

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.

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.

Telize is a REST API built on Nginx and Lua which gets a visitor's IP address and queries location information from any IP address. It outputs JSON-encoded IP geolocation data, and supports both JSON and JSONP.

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.

Plgen (Playlist Generator) is a tool that sorts files for MP3 players in a user defined order. Cheap MP3 players often come with no playlist capabilities. In addition these players often make use of the FAT16/32 file system, leading to confusion when the playing order is not alphabetical on the device even though it is shown as alphabetical in the file explorer.