ABC Path Solver is a Perl program and library that automatically solves an ABC Path game while giving the reasoning. ABC Path is a puzzle game in which one should position the letters from "A" to "Y" in a 5*5 grid based on clues. It is featured in brainbashers.com. ABC Path Solver uses a mixture of deduction and solving by trying several branches, which should allow it to solve all initial boards.
aria2 is a utility for downloading files. The supported protocols are HTTP(S), FTP, BitTorrent, and Metalink. It has a powerful segmented downloading ability, downloading a file from multiple sources and multiple protocols and utilizing your download bandwidth to the maximum. It supports downloading a file from HTTP(S)/FTP and BitTorrent at the same time, while the data downloaded from HTTP(S)/FTP is uploaded to the BitTorrent swarm. Using Metalink's chunk checksums, aria2 automatically validates chunks of data while downloading a file like BitTorrent.
CLOGS is a library for higher-level operations on top of the OpenCL C++ API. It is designed to integrate with other OpenCL code, including synchronization using OpenCL events. Currently only two operations are supported: radix sorting and exclusive scan. Radix sort supports all the unsigned integral types as keys, and all the built-in scalar and vector types suitable for storage in buffers as values. Scan supports all the integral types. It also supports vector types, which allows limited multi-scan capabilities.
GNU units converts quantities expressed in various systems of measurement to their equivalents in other systems of measurement. Like many similar programs, it can handle multiplicative scale changes. It can also handle nonlinear conversions such as Fahrenheit to Celsius, and it can perform conversions from and to sums of units, such as converting between feet plus inches and meters. Beyond simple unit conversions, units can be used as a general-purpose scientific calculator which keeps track of units in its calculations. You can form arbitrary complex mathematical expressions of dimensions including sums, products, quotients, powers, and even roots of dimensions. In this way, you can ensure accuracy and dimensional consistency when working with long expressions which involve many different units which may combine in complex ways. The units are defined in an extensive, well-annotated data file which defines over 2,500 units. You can also provide your own file to supplement or replace the standard file.
CoreTML framework is a template configuration system. It is based on the idea of parametrized templates that are created by inserting special content into source code files. These templates can later be used to generate output files depending upon parameters chosen by the user. CoreTML framework was created primarily to provide a platform for the design and deployment of semiconductor IP cores on a hardware description language (HDL) level (i.e. VHDL or Verilog).
Calligra is an integrated suite of applications that cover office, creative, and management needs. It offers applications on both desktop computers and mobile platforms like tablets and smartphones. OpenDocument Format (ODF) is used, making it compatible with OpenOffice.org, LibreOffice, and Microsoft Office. Calligra Suite contains the following applications: Calligra Words (word processor), Sheets (spreadsheets), Stage (presentations), Flow (diagrams and flowcharts), Kexi (visual database creator), Braindump (note taking), Plan (project management), Krita (drawing), and Karbon (vector graphics).
Scid vs. PC is a powerful chess toolkit. It has extensive database and PGN file handling capabilities, and can be used to play chess on the internet (with FICS), against a computer chess opponent, or for chess grandmasters to prepare for tournament matches. Additionally, Scid vs. PC can run automated computer tournaments with chess engines playing against each other.
nassh-relay implements a relay server used with the Secure Shell (hterm) plugin for the Chromium Web browser. It tunnels ssh traffic through an HTTP xhr or websockets connection. It could be used as a gateway to route traffic to an internal network (it supports authentication on the HTTP endpoint) or simply as an ssh-over-HTTP proxy.